2565 search results - page 212 / 513 » Object type constructors |
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
ECAI
2006
Springer
14 years 29 days ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
AFRIGRAPH
2001
ACM
14 years 29 days ago
2001
ACM
Practical experience in porting a large virtual reality system from C/C++ to Java indicates that porting this type of real-time application is both feasible, and has several merit...
NECO
1998
13 years 9 months ago
1998
three different levels of abstraction: detailed models including ctivity dynamics, weight dynamics that abstract from the neural activity dynamics by an adiabatic approximation, an...
EUROSSC
2010
Springer
13 years 7 months ago
2010
Springer
Smart homes have a user centered design that makes human activity as the most important type of context to adapt the environment according to people's needs. Sensor systems th...