6431 search results - page 202 / 1287 » Model Building by Resolution |
138
click to vote
SCSC
2007
15 years 8 months ago
2007
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
138
click to vote
ICHIM
2001
15 years 7 months ago
2001
This paper will present the techniques used in the production of a 3D narrated tour of the ancient precinct of Olympia set in 200 BC; and detail the approaches undertaken to digit...
157
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
The paper describes a multi-layer video coder based on spatiotemporal scalability and data partitioning. The coder consists of two parts: a low-resolution coder and full-resolutio...
185
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
151
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...