1552 search results - page 250 / 311 » From Automatic Structures to Borel Structures |
111
click to vote
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
122
click to vote
SMI
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
GRAPHITE
2006
ACM
15 years 5 months ago
2006
ACM
Retargeting and interpolation methods may introduce physical inaccuracies in virtual human animation. This paper presents a method for evaluating the dynamical correctness of reta...
112
click to vote
MIR
2006
ACM
15 years 5 months ago
2006
ACM
Scalable approaches to video content classification are limited by an inability to automatically generate representations of events ode abstract temporal structure. This paper pre...