1684 search results - page 173 / 337 » The lexicographic decision function |
195
click to vote
WEA
2005
Springer
16 years 16 days 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...
173
click to vote
ATAL
2004
Springer
16 years 14 days 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...
147
Voted
DIAGRAMS
2004
Springer
16 years 14 days 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...
167
click to vote
TYPES
2004
Springer
16 years 12 days 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...
219
click to vote
COMPSAC
2003
IEEE
16 years 11 days 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...