Sciweavers

1515 search results - page 64 / 303
» On the relation of aspects and monads
Sort
View
SIGMETRICS
2005
ACM
154views Hardware» more  SIGMETRICS 2005»
14 years 1 months ago
Fair operation of multi-server and multi-queue systems
Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motivatio...
David Raz, Benjamin Avi-Itzhak, Hanoch Levy
JELIA
1998
Springer
13 years 12 months ago
Towards State Update Axioms: Reifying Successor State Axioms
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
Michael Thielscher
ALIFE
2005
13 years 7 months ago
Agency in Natural and Artificial Systems
We analyze the conditions for agency in natural and artificial systems. In the case of basic (natural) autonomous systems, self-construction and activity in the environment are two...
Alvaro Moreno, Arantza Etxeberria
ICDT
2007
ACM
143views Database» more  ICDT 2007»
14 years 1 months ago
Database Query Processing Using Finite Cursor Machines
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole...
ECAI
2000
Springer
13 years 11 months ago
Qualitative Spatial Reasoning about Line Segments
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
Reinhard Moratz, Jochen Renz, Diedrich Wolter