14518 search results - page 411 / 2904 » Two Problems for Sophistication |
178
click to vote
POPL
1994
ACM
15 years 11 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
210
click to vote
DIAL
2004
IEEE
15 years 10 months ago
2004
IEEE
Large collections of scanned documents (books and journals) are now available in Digital Libraries. The most common method for retrieving relevant information from these collectio...
200
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
226
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
154
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
TicTacToon is a system for professional 2D animation studios that replaces the traditional paper-based production process. TicTacToon is the first animation system to use vector-...