2550 search results - page 29 / 510 » Difference Decision Diagrams |
108
Voted
ISMVL
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper proposes a design method for floating-point numerical function generators (NFGs) using multi-valued decision diagrams (MDDs). Our method applies to monotone elementary...
95
Voted
ENTCS
2006
15 years 1 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
111
Voted
SAT
2004
Springer
15 years 7 months ago
2004
Springer
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
105
click to vote
DSS
2008
15 years 1 months ago
2008
This study investigates the effect gender has on the use of computer-based feedback and the impact that this feedback has on mood. The decision making process of men and women are...
105
click to vote
PRESENCE
2010
14 years 8 months ago
2010
Simulated humans in computer interfaces are increasingly taking on roles that were once reserved for real humans. The presentation of simulated humans is affected by their appeara...