Sciweavers

776 search results - page 125 / 156
» Using Semantics to Improve the Design of Game Worlds
Sort
View
ALGORITHMICA
2000
125views more  ALGORITHMICA 2000»
14 years 11 months ago
Mobile Robot Self-Localization without Explicit Landmarks
Localization is the process of determining the robot's location within its environment. More precisely, it is a procedure which takes as input a geometric map, a current estim...
R. G. Brown, Bruce Randall Donald
VLDB
2007
ACM
128views Database» more  VLDB 2007»
15 years 12 months ago
Automating the Detection of Snapshot Isolation Anomalies
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
Sudhir Jorwekar, Alan Fekete, Krithi Ramamritham, ...
AAMAS
2005
Springer
14 years 11 months ago
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
Marcela Capobianco, Carlos Iván Chesñ...
PVM
2010
Springer
14 years 10 months ago
Enabling Concurrent Multithreaded MPI Communication on Multicore Petascale Systems
With the ever-increasing numbers of cores per node on HPC systems, applications are increasingly using threads to exploit the shared memory within a node, combined with MPI across ...
Gábor Dózsa, Sameer Kumar, Pavan Bal...
SIGSOFT
2005
ACM
16 years 15 days ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich