2663 search results - page 316 / 533 » How to Choose a Timing Model |
135
Voted
KDD
2009
ACM
15 years 10 months ago
2009
ACM
Implicit user feedback, including click-through and subsequent browsing behavior, is crucial for evaluating and improving the quality of results returned by search engines. Severa...
139
click to vote
DEDS
2008
15 years 3 months ago
2008
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
131
Voted
IDT
2008
15 years 3 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
161
Voted
IPM
2007
15 years 3 months ago
2007
In this article, we elaborate on the meaning of quality in digital libraries (DLs) by proposing a model that is deeply grounded in a formal framework for digital libraries: 5S (St...
165
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...