1626 search results - page 79 / 326 » Hybrid computing algorithm in representing solid model |
152
click to vote
DISOPT
2008
15 years 3 months ago
2008
This paper is motivated by the fact that mixed integer nonlinear programming is an important and difficult area for which there is a need for developing new methods and software f...
133
click to vote
CAD
2008
Springer
15 years 3 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
115
click to vote
JMLR
2010
14 years 10 months ago
2010
Logic-based probabilistic models (LBPMs) enable us to handle problems with uncertainty succinctly thanks to the expressive power of logic. However, most of LBPMs have restrictions...
116
click to vote
ACL
2009
15 years 1 months ago
2009
Statistical language modeling (SLM) has been used in many different domains for decades and has also been applied to information retrieval (IR) recently. Documents retrieved using...
122
click to vote
ICTAI
2005
IEEE
15 years 8 months ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...