7139 search results - page 1388 / 1428 » Language Engineering in Practice |
128
Voted
ERCIMDL
2009
Springer
15 years 8 months ago
2009
Springer
Curated databases are databases that are populated and updated with a great deal of human effort. Most reference works that one traditionally found on the reference shelves of li...
134
Voted
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
136
Voted
STOC
1999
ACM
15 years 8 months ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...
127
Voted
CAV
1999
Springer
15 years 8 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
148
Voted
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...