734 search results - page 46 / 147 » Narrowing the Narrowing Space |
EKAW
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Conceptual Information Systems unfold the conceptual structure of data stored in relational databases. In the design phase of the system, conceptual hierarchies have to b...
CAV
2006
Springer
14 years 23 days ago
2006
Springer
We present lookahead widening, a novel technique for using existing widening and narrowing operators to improve the precision of static analysis. This technique is both self-contai...
EGOV
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. Most reported literature on evaluation of e-government systems tend to focus on narrow aspects of project design and implementation. The larger context of development and...
SIGLEX
1991
14 years 16 days ago
1991
Metaphor and other forms of non-literal language are essential parts of language which have direct bearing on theories of lexical semantics. Neither narrow theories of lexical sem...
AIPS
2010
13 years 11 months ago
2010
The problem of effectively combining multiple heuristic estimators has been studied extensively in the context of optimal planning, but not in the context of satisficing planning....