21430 search results - page 358 / 4286 » Abstract Effective Models |
165
click to vote
PUK
2000
15 years 8 months ago
2000
Abstract. In this paper we study traditional and enhanced BDDbased exploration procedures capable of handling large planning problems. On the one hand, reachability analysis and mo...
195
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Granuloma is a medical term for a ball-like collection of immune cells that attempts to remove foreign substances from a host organism. This response is a special type o...
157
click to vote
ANOR
2008
15 years 6 months ago
2008
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
171
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A number-conserving cellular automaton is a cellular automaton whose states are integers and whose transition function keeps the sum of all cells constant throughout its ...
178
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...