2308 search results - page 32 / 462 » Representing Symbolic Reasoning |
185
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is tra...
176
click to vote
LICS
1997
IEEE
15 years 9 months ago
1997
IEEE
Fixpoint expressions built from functional signatures interpreted over arbitrary complete lattices are considered. A generic notionof automatonis defined and shown, by means of a ...
147
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed ...
147
click to vote
COSIT
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...
283
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
Data Warehouses and On-Line Analytical Processing systems rely on a multidimensional model that includes dimensions, hierarchies, and measures. Such model allows to express users&...