1937 search results - page 327 / 388 » Starting B Specifications from Use Cases |
116
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
124
click to vote
FINTAL
2006
15 years 8 months ago
2006
This paper addresses a problem of natural language text alignment, from a humanities discipline called textual genetic criticism where different text versions must be compared. The...
131
click to vote
EWSPT
1995
Springer
15 years 8 months ago
1995
Springer
ÐThis paper discusses the notion of process inconsistency and suggests that inconsistencies in software processes are inevitable and sometimes desirable. We present an approach to...
149
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
: This paper describes a design methodology for an object oriented database,basedon a semantic network. This approach is based on the assumption that Yemanticdata models are more p...
141
click to vote
AVI
2008
15 years 6 months ago
2008
In this paper we present a software framework which supports the construction of mixed-fidelity (from sketch-based to software) prototypes for mobile devices. The framework is ava...