Now showing items 1-10 of 1363
Burn all your textbooks
(Australasian Association for Logic, 2017)
The standard propositional exposition of necessary and su cient conditions, as available in introductory logic texts, leads to a contradiction. It should be abolished.
Sliding windows over uncertain data streams
(Springer U K, 2015)
Uncertain data streams can have tuples with both value and existential uncertainty. A tuple has value uncertainty when it can assume multiple possible values. A tuple is existentially uncertain when the sum of the ...
Graph visualization toolkits
The Graph Layout Toolkit and Graph Editor Toolkit, which provide a framework for graph visualization useful in a broad array of application areas are introduced. As such, an architectural overview of these tools is presented ...
Internet in the lives of Turkish women
(First Monday Editorial Group, 2002)
This paper reports the findings of a recent survey conducted among Turkish women. The aim was to find out what role, if any, the Internet plays in their lives, what they think about it, and how and why they do or don't use ...
Quasi-birth-and-death processes with level-geometric distribution
A special class of homogeneous continuous-time quasi-birth-and-death (QBD) Markov chains (MCS) which possess level-geometric (LG) stationary distribution is considered. Assuming that the stationary vector is partitioned ...
BilVideo: a video database management system
The BilVideo video database management system provides integrated support for spatiotemporal and semantic queries for video. BilVideo can support any application with video data searching needs. It's query language provides ...
Iterative disaggregation for a class of lumpable discrete-time stochastic automata networks
Stochastic automata networks (SANs) have been developed and used in the last 15 years as a modeling formalism for large systems that can be decomposed into loosely connected components. In this work, we concentrate on the ...
Stereoscopic view-dependent visualization of terrain height fields
Visualization of large geometric environments has always been an important problem of computer graphics. In this paper, we present a framework for the stereoscopic view-dependent visualization of large scale terrain models. ...
Exploiting data mining techniques for broadcasting data in mobile computing environments
Mobile computers can be equipped with wireless communication devices that enable users to access data services from any location. In wireless communication, the server-to-client (downlink) communication bandwidth is much ...
Pragmatics in human-computer conversations
This paper provides a pragmatic analysis of some human-computer conversations carried out during the past six years within the context of the Loebner Prize Contest, an annual competition in which computers participate in ...