1176 search results - page 12 / 236 » Implicit Abstraction Heuristics |
AIPS
2008
14 years 4 days ago
2008
We consider a generalization of the PDB homomorphism abstractions to what is called "structural patterns". The bais in abstracting the problem in hand into provably trac...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
TCAD
1998
13 years 9 months ago
1998
None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and auto...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— We present a grammar-based genetic programming framework for the solving the timetabling problem via the evolution of constructive heuristics. The grammar used for prod...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract — This paper addresses the problem of coordinating multiple mobile robots in a tightly coupled task by means of implicit communication. This approach allows the developm...