1243 search results - page 161 / 249 » Complexity reduction of C-Algorithm |
117
click to vote
WIA
2000
Springer
15 years 5 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
108
click to vote
AAAI
2007
15 years 3 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
113
click to vote
USENIX
2007
15 years 3 months ago
2007
This paper focuses on evaluation of the effectiveness of optimization at various layers of the IO path, such as the file system, the device driver scheduler, and the disk drive i...
108
click to vote
WSC
2007
15 years 3 months ago
2007
Agent-based simulation provides a methodology to investigate complex systems behavior, such as supply chains, while incorporating many empirical elements relative to both systems ...
122
click to vote
DCOSS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Wireless sensor networks come of age and start moving out of the laboratory into the field. As the number of deployments is increasing the need for an efficient and relia...