396 search results - page 55 / 80 » Combining decision procedures for the reals |
130
click to vote
MM
2003
ACM
15 years 6 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
138
click to vote
TCAD
2008
15 years 1 months ago
2008
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
143
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
Recent results on stereo indicate that an accurate segmentation is crucial for obtaining faithful depth maps. Variational methods have successfully been applied to both image segm...
107
click to vote
VISUALIZATION
2003
IEEE
15 years 6 months ago
2003
IEEE
Unstructured meshes are often used in simulations and imaging applications. They provide advanced flexibility in modeling abilities but are more difficult to manipulate and anal...
99
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Researchers demand much from their embodied conversational agents (ECAs), requiring them to be both life-like, as well as responsive to events in an interactive setting. We find t...