2714 search results - page 184 / 543 » Model comparison with GenericDiff |
188
Voted
SIGIR
2006
ACM
16 years 28 days ago
2006
ACM
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
191
Voted
CAV
2005
Springer
16 years 15 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
206
Voted
PDP
2003
IEEE
16 years 7 days ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
218
click to vote
DAGM
2001
Springer
15 years 11 months ago
2001
Springer
We consider 3D object retrieval in which a polygonal mesh serves as a query and similar objects are retrieved from a collection of 3D objects. Algorithms proceed first by a normal...
214
Voted
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
Any performance evaluation of broadband networks requires modeling of the actual network traffic. Since multimedia services and especially MPEG coded video streams are expected to...