2702 search results - page 335 / 541 » Practically Applicable Formal Methods |
122
click to vote
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
Depth from triangulation has traditionally been treated in a number of separate threads in the computer vision literature, with methods like stereo, laser scanning, and coded stru...
256
click to vote
VLDB
2002
ACM
16 years 2 months ago
2002
ACM
Our aim is to develop new database technologies for the approximate matching of unstructured string data using indexes. We explore the potential of the suffix tree data structure i...
120
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
102
click to vote
IEEESCC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Research in the field of semantic Web services aims at automating the discovery, selection, composition and management of Web services based on semantic descriptions. However, t...
138
Voted
FGR
2006
IEEE
15 years 8 months ago
2006
IEEE
Player’s gesture and action spotting in sports video is a key task in automatic analysis of the video material at a high level. In many sports views, the camera covers a large p...