846 search results - page 20 / 170 » Rewrite-Based Decision Procedures |
143
click to vote
SIAMCOMP
2002
15 years 2 months ago
2002
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
147
click to vote
CADE
2012
Springer
13 years 5 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
148
click to vote
CI
2011
14 years 10 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
IADIS
2003
15 years 4 months ago
2003
This paper illustrates the logical order in which things happen in developing an e-commerce web site, pinpointing the major decisions required throughout the process. KEYWORDS E-c...