Sciweavers

3310 search results - page 54 / 662
» Aspect-aware operating system development
Sort
View
RELMICS
2005
Springer
15 years 5 months ago
Relational Correspondences for Lattices with Operators
In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...
Jouni Järvinen, Ewa Orlowska
ATMOS
2007
177views Optimization» more  ATMOS 2007»
15 years 1 months ago
Approximate dynamic programming for rail operations
Abstract. Approximate dynamic programming offers a new modeling and algorithmic strategy for complex problems such as rail operations. Problems in rail operations are often modeled...
Warren B. Powell, Belgacem Bouzaïene-Ayari
SIGMOD
2005
ACM
220views Database» more  SIGMOD 2005»
15 years 12 months ago
Sampling Algorithms in a Stream Operator
Complex queries over high speed data streams often need to rely on approximations to keep up with their input. The research community has developed a rich literature on approximat...
Theodore Johnson, S. Muthukrishnan, Irina Rozenbau...
ICRA
2005
IEEE
136views Robotics» more  ICRA 2005»
15 years 5 months ago
Operator Engagement Detection and Robot Behavior Adaptation in Human-Robot Interaction
- It has been shown that in human-robot interaction, the effectiveness of a robot varies inversely with the operator engagement in the task. Given the importance of maintaining opt...
Pramila Rani, Nilanjan Sarkar
AGENTCL
2000
Springer
15 years 4 months ago
Operational Semantics for Agent Communication Languages
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...