5200 search results - page 699 / 1040 » Symbolic models for control systems |
213
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
We consider an agent-target assignment problem in an unknown environment modeled as an undirected graph. Agents do not know this graph or the locations of the targets on it. Howeve...
358
click to vote
FROCOS
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
189
click to vote
HOTOS
1999
IEEE
15 years 12 months ago
1999
IEEE
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
214
Voted
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
Several recent studies have found only a weak relationship between the performance of a retrieval system and the "success" achievable by human searchers. We hypothesize ...
187
click to vote
ICS
2005
Tsinghua U.
16 years 1 months ago
2005
Tsinghua U.
As parallel jobs get bigger in size and finer in granularity, “system noise” is increasingly becoming a problem. In fact, fine-grained jobs on clusters with thousands of SMP...