1086 search results - page 126 / 218 » Event Structures with Symmetry |
ENTCS
2006
13 years 10 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
ICCV
2003
IEEE
15 years 5 days ago
2003
IEEE
Background modeling and subtraction is a core component in motion analysis. The central idea behind such module is to create a probabilistic representation of the static scene tha...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
— Autonomous robots that operate in real-world domains face multiple challenges that make planning and goal selection difficult. Not only must planning and execution occur in re...
FMCO
2007
Springer
14 years 4 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...