Sciweavers

3310 search results - page 54 / 662
» Aspect-aware operating system development
Sort
View
RELMICS
2005
Springer
15 years 11 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 7 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»
16 years 6 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 11 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 10 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...