3640 search results - page 448 / 728 » Combining Fuzzy Information from Multiple Systems |
212
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
158
click to vote
RECOMB
1998
Springer
15 years 10 months ago
1998
Springer
The task of computing molecular structure from combinations of experimental and theoretical constraints is expensive because of the large number of estimated parameters (the 3D co...
185
click to vote
CIVR
2007
Springer
16 years 23 days ago
2007
Springer
The Carnegie Mellon University Informedia group has enjoyed consistent success with TRECVID interactive search using traditional storyboard interfaces for shot-based retrieval. Fo...
179
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
The traditional strategy performed by Information Retrieval (IR) systems is ranked keyword search: For a given query, a list of documents, ordered by relevance, is returned. Releva...
165
click to vote
SWAP
2008
15 years 8 months ago
2008
The traditional strategy performed by Information Retrieval (IR) systems is ranked keyword search: for a given query, a list of documents, ordered by relevance, is returned. Releva...