Sciweavers

2042 search results - page 107 / 409
» Variable Number of
Sort
View
137
Voted
ISMVL
2000
IEEE
120views Hardware» more  ISMVL 2000»
15 years 8 months ago
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
Harald Sack, Elena Dubrova, Christoph Meinel
CAEPIA
2007
Springer
15 years 8 months ago
Efficient Pruning of Operators in Planning Domains
Many recent successful planners use domain-independent heuristics to speed up the search for a valid plan. An orthogonal approach to accelerating search is to identify and remove r...
Anders Jonsson
99
Voted
CP
2006
Springer
15 years 8 months ago
Differentiable Invariants
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
Pascal Van Hentenryck, Laurent Michel
OOPSLA
1987
Springer
15 years 7 months ago
Self: The Power of Simplicity
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...
David Ungar, Randall B. Smith
WSC
2007
15 years 6 months ago
Modeling and simulation of retrieving process
This paper presents a model of Parts Distribution Center (PDC), developed in Arena® 5.0, which aims at providing information about the total time of the retrieving process as the...
Shih Y. Chin, José H. C. G. Júnior