6020 search results - page 837 / 1204 » A New Approach to Model Counting |
220
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
182
click to vote
FOCS
2005
IEEE
16 years 9 days ago
2005
IEEE
Robust optimization has traditionally focused on uncertainty in data and costs in optimization problems to formulate models whose solutions will be optimal in the worstcase among ...
176
click to vote
AAAI
2007
15 years 9 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
211
click to vote
TOG
2002
15 years 6 months ago
2002
A Texture Atlas is an efficient color representation for 3D Paint Systems. The model to be textured is decomposed into charts homeomorphic to discs, each chart is parameterized, a...
231
click to vote
CVPR
2009
IEEE
2009
IEEE
Continuous Ratio Optimization via Convex Relaxation with Applications to Multiview 3D Reconstruction
17 years 1 months ago
We introduce a convex relaxation framework to optimally
minimize continuous surface ratios. The key idea is to minimize
the continuous surface ratio by solving a sequence
of con...