2836 search results - page 107 / 568 » Parsing Algorithms and Metrics |
137
Voted
ICCAD
2003
IEEE
16 years 27 days ago
2003
IEEE
Emerging VLSI technologies and platforms are giving rise to systems with inherently high potential for runtime failure. Such failures range from intermittent electrical and mechan...
142
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
164
Voted
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
We present a non-traditional retrieval problem we call subtopic retrieval. The subtopic retrieval problem is concerned with finding documents that cover many different subtopics ...
188
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
We present a discriminative model that casts appearance modeling and visual matching into a single objective for visual tracking. Most previous discriminative models for visual tra...
151
click to vote
VLDB
1997
ACM
15 years 7 months ago
1997
ACM
A new access method, called M-tree, is proposed to organize and search large data sets from a generic "metric space", i.e. where object proximity is only defined by a di...