Sciweavers

3856 search results - page 101 / 772
» Models for Automated Earthmoving
Sort
View
DAC
2003
ACM
16 years 5 months ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park
PROCEDIA
2010
85views more  PROCEDIA 2010»
15 years 3 months ago
Toward interactive statistical modeling
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...
Sooraj Bhat, Ashish Agarwal, Alexander Gray, Richa...
DAC
1999
ACM
16 years 5 months ago
Symbolic Model Checking Using SAT Procedures instead of BDDs
Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...
DAC
1999
ACM
16 years 5 months ago
Robust Rational Function Approximation Algorithm for Model Generation
Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...