2714 search results - page 184 / 543 » Model comparison with GenericDiff |
170
click to vote
SIGIR
2006
ACM
16 years 11 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...
174
click to vote
CAV
2005
Springer
15 years 12 months 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 ...
185
click to vote
PDP
2003
IEEE
15 years 11 months 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...
194
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...
199
click to vote
IJCNN
2000
IEEE
15 years 10 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...