3686 search results - page 95 / 738 » Comprehensive comprehensions |
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes a framework for a systematic classification of spreadsheet errors. This classification or taxonomy of errors is aimed at facilitating analysis and comprehensi...
AIPS
1998
13 years 10 months ago
1998
In this paper, wepresent a Web-baseddemonstration of a Course of Action (COA)comparisonmatrix being used as an interface to an O-Planplan server to explore multiple qualitatively ...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
In this paper we present an innovative approach to automatically generate adjacency grammars describing graphical symbols. A grammar production is formulated in terms of rulesets ...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The definition of “boundary” in the context of multiorganizational information sharing and integration initiatives is developed in the paper. Both current literature and a cas...