3820 search results - page 302 / 764 » Bounded Model Debugging |
144
click to vote
CGF
2005
15 years 4 months ago
2005
Level set models combine a low-level volumetric representation, the mathematics of deformable implicit surfaces, and powerful, robust numerical techniques to produce a novel appro...
208
click to vote
COR
2011
14 years 11 months ago
2011
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...
142
click to vote
TOG
2010
14 years 10 months ago
2010
Large corpora of 3D models, such as Google 3D Warehouse, are now becoming available on the web. It is possible to search these databases using a keyword search. This makes it poss...
154
click to vote
JMLR
2012
13 years 6 months ago
2012
The development of accurate models and efficient algorithms for the analysis of multivariate categorical data are important and longstanding problems in machine learning and compu...
159
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...