7820 search results - page 1178 / 1564 » Formalization of Time and Space |
176
click to vote
MM
2005
ACM
16 years 12 days ago
2005
ACM
Large-scale distributed video surveillance systems pose new scalability challenges. Due to the large number of video sources in such systems, the amount of bandwidth required to t...
235
click to vote
SIGECOM
2005
ACM
16 years 12 days ago
2005
ACM
This paper concerns the design of mechanisms for online scheduling in which agents bid for access to a re-usable resource such as processor time or wireless network access. Each a...
186
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
199
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
192
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...