61 search results - page 4 / 13 » A Constraint Store Based on Multivalued Decision Diagrams |
85
Voted
ISMVL
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper proposes a new architecture for memorybased floating-point numeric function generators (NFGs). The design method uses piecewise-split edge-valued multivalued decision ...
165
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
74
Voted
DATE
2000
IEEE
15 years 1 months ago
2000
IEEE
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...
102
click to vote
CPAIOR
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. We study the application of limited-width MDDs (multivalued decision diagrams) as discrete relaxations for combinatorial optimization problems. These relaxations are used...
AAAI
2008
14 years 12 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...