1552 search results - page 112 / 311 » From Automatic Structures to Borel Structures |
DAGSTUHL
2006
15 years 1 months ago
2006
We have found a method to automatically extract the meaning of words and phrases from the world-wide-web using Google page counts. The approach is novel in its unrestricted proble...
109
click to vote
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we present an integrated system for news video retrieval. The proposed system incorporates both speech and visual information in the search mechanisms. The initial ...
100
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This work extends and improves a recently introduced (Dec. 2007) dynamic Bayesian network (DBN) based audio-visual automatic speech recognition (AVASR) system. That system models ...
80
Voted
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...