575 search results - page 105 / 115 » Model Checking Restricted Sets of Timed Paths |
123
Voted
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. In order to guarantee that the optimal motif is found, traditional pattern-driven approaches perform an exhaustive search over all candidate motifs of length l. We develo...
227
Voted
ICDE
2004
IEEE
16 years 3 months ago
2004
IEEE
Twig queries represent the building blocks of declarative query languages over XML data. A twig query describes a complex traversal of the document graph and generates a set of el...
149
click to vote
SIGECOM
2005
ACM
15 years 7 months 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...
108
click to vote
ATAL
2010
Springer
15 years 24 days ago
2010
Springer
The problem of multi-robot patrol in adversarial environments has been gaining considerable interest during the recent years.In this problem, a team of mobile robots is required t...
104
Voted
TCOM
2008
15 years 1 months ago
2008
Abstract-- Traditionally, conflict resolution in an inputbuffered switch is solved by finding a matching between inputs and outputs per time slot. To do this, a switch not only nee...