1684 search results - page 38 / 337 » The lexicographic decision function |
ISMVL
2003
IEEE
15 years 3 months ago
2003
IEEE
Discrete functions are now commonly represented by binary (BDD) and multiple-valued (MDD) decision diagrams. Sifting is an effective heuristic technique which applies adjacent var...
CAV
1998
Springer
15 years 2 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
ISAAC
1995
Springer
15 years 1 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
IMSCCS
2006
IEEE
15 years 3 months ago
2006
IEEE
The paper mainly deals with a vertical handover decision algorithm based on the fuzzy control theory. The algorithm takes into consider the factors of Power Level, Cost and Bandwi...
EUSFLAT
2007
14 years 11 months ago
2007
In Multiple Criteria Decision Analysis, the preferences of the decision maker regarding each criterion are classically modelled by a utility function depending on one single varia...