1684 search results - page 173 / 337 » The lexicographic decision function |
114
click to vote
WEA
2005
Springer
15 years 6 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
Distributed Partially Observable Markov Decision Problems (POMDPs) are emerging as a popular approach for modeling multiagent teamwork where a group of agents work together to joi...
DIAGRAMS
2004
Springer
15 years 6 months ago
2004
Springer
The ‘graphicacy’ of student programmers was investigated using several cognitive tasks designed to assess ER knowledge representation at the perceptual, semantic and output lev...
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
136
click to vote
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...