374 search results - page 32 / 75 » The FRESCO Framework: An Overview |
WLP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
3DPVT
2002
IEEE
14 years 29 days ago
2002
IEEE
For the first time since computers are around, the major pieces of the puzzle are in place to deliver interactive 3D to the average end user. Yet, with the exception of games and ...
CADE
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
BTW
2007
Springer
2007
Springer
TopX - Efficient and Versatile Top-k Query Process-ing for Text, Semistructured, and Structured Data
14 years 5 hour ago
: This paper presents a comprehensive overview of the TopX search engine, an extensive framework for unified indexing and querying large collections of unstructured, semistructured...
DLT
2004
13 years 9 months ago
2004
New results on the recognizability of sets of finite graphs, hypergraphs and relational structures are presented. The general framework of this research which associates tightly a...