1552 search results - page 100 / 311 » From Automatic Structures to Borel Structures |
DAC
2002
ACM
16 years 25 days ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
DMSN
2009
ACM
15 years 6 months ago
2009
ACM
Creating statistics from sporting events is now widespread with most efforts to automate this process using various sensor devices. The problem with many of these statistical app...
DAGM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we propose a new approach to learn structured visual compound models from shape-based feature descriptions. We use captioned text in order to drive the pro...
119
click to vote
ICCV
2001
IEEE
16 years 1 months ago
2001
IEEE
We describe a reconstruction method of multiple motion scenes, which are the scenes containing multiple moving objects, from uncalibrated views. Assuming that the objects are movi...
IPM
2010
14 years 10 months ago
2010
The paper presents methods of retrieving blog posts containing opinions about an entity expressed in the query. The methods use a lexicon of subjective words and phrases compiled ...