381 search results - page 48 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
PKDD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Spatial Data Mining (SDM) has great potential in supporting public policy and in underpinning society functioning. One task in SDM is the discovery of characterization an...
114
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
115
click to vote
LACL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
110
click to vote
TE
2010
14 years 8 months ago
2010
Abstract--As demand increases for circuits with higher performance, higher complexity, and decreased feature size, asynchronous (clockless) paradigms will become more widely used i...