8228 search results - page 165 / 1646 » Structural Logical Relations |
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We give a new, and hopefully more easily understandable, structural proof of the decomposition of a k-valued transducer into k unambiguous functional ones, a result established by...
326
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
141
Voted
AMAI
2007
Springer
15 years 2 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
262
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
The wide popularity of free-and-easy keyword based searches over World Wide Web has fueled the demand for incorporating keyword-based search over structured databases. However, mo...
126
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...