Sciweavers

17298 search results - page 3052 / 3460
» Abstract computing machines
Sort
View
CONCUR
2004
Springer
16 years 6 days ago
Probabilistic Event Structures and Domains
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
Daniele Varacca, Hagen Völzer, Glynn Winskel
DAS
2004
Springer
16 years 6 days ago
Automatic Fax Routing
Abstract. We present a system for automatic FAX routing which processes incoming FAX images and forwards them to the correct email alias. The system first performs optical charact...
Paul A. Viola, James Rinker, Martin Law
DFG
2004
Springer
16 years 6 days ago
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
Wilhelm Schäfer, Robert Wagner, Jürgen G...
DIS
2004
Springer
16 years 6 days ago
On the Convergence of Incremental Knowledge Base Construction.
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...
Tri M. Cao, Eric Martin, Paul Compton
E4MAS
2004
Springer
16 years 6 days ago
A Spatially Dependent Communication Model for Ubiquitous Systems
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
« Prev « First page 3052 / 3460 Last » Next »