2509 search results - page 413 / 502 » Abstract Geometrical Computation and Computable Analysis |
ICIDS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Computational storytelling systems have mainly focused on the construction and evaluation of textual discourse for communicating stories. Few intelligent camera systems h...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract. To achieve an efficient utilization of cluster systems, a proper programming and operating environment is required. In this context, mobile agents are of growing interes...
HAPTICS
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract. The Nine Hole Peg Test (NHPT) is routinely used in clinical environments to evaluate a patient's fine hand control. A physician measures the total time required to i...
MOBIDE
1999
ACM
14 years 2 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
CONCUR
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...