912 search results - page 130 / 183 » Abstract Saturation-Based Inference |
DALT
2006
Springer
15 years 3 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
101
click to vote
DAGSTUHL
1998
15 years 1 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
117
click to vote
VC
2008
14 years 11 months ago
2008
Abstract Mesh partitioning and skeletonisation are fundamental for many computer graphics and animation techniques. Because of the close link between an object's skeleton and ...
CADE
2001
Springer
16 years 6 days ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
203
click to vote
PLDI
2009
ACM
16 years 16 days ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...