3082 search results - page 507 / 617 » Deviation Analysis: A New Use of Model Checking |
162
click to vote
EGH
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly con...
160
click to vote
TREC
2001
15 years 7 months ago
2001
This paper describes new machine learning approaches to predict the correct homepage in response to a user's homepage finding query. This involves two phases. In the first ph...
150
click to vote
DKE
2007
15 years 6 months ago
2007
The use of rules in a distributed environment creates new challenges for the development of active rule execution models. In particular, since a single event can trigger multiple ...
125
click to vote
QUESTA
2007
15 years 5 months ago
2007
This paper investigates stability behavior in a variant of a generalized Jackson queueing network. In our network, some customers use a join-the-shortest-queue policy when enterin...
150
click to vote
SEMCO
2007
IEEE
16 years 13 days ago
2007
IEEE
Most research in the field of anaphora or coreference detection has been limited to noun phrase coreference, usually on a restricted set of entities, such as ACE entities. In par...