12774 search results - page 2507 / 2555 » A Framework for Proof Systems |
168
click to vote
CPM
2001
Springer
15 years 10 months ago
2001
Springer
Lempel Ziv Coding (Extended Abstract). . . . . . . . . . . . . . . . . . . . . . . 18 Shmuel Tomi Klein, Yair Wiseman Approximate Matching of Run-Length Compressed Strings . . . . ...
154
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
The emergence of large-scale freeform shapes in architecture poses big challenges to the fabrication of such structures. A key problem is the approximation of the design surface b...
165
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we address the problem of inverse procedural modeling: Given a piece of exemplar 3D geometry, we would like to find a set of rules that describe objects that are s...
150
click to vote
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
Case-based reasoning aims to use past experience to solve new problems. A strong requirement for its application is that extensive experience base exists that provides statisticall...
146
click to vote
ICS
2001
Tsinghua U.
15 years 10 months ago
2001
Tsinghua U.
At Rice University, we have undertaken a project to construct a framework for generating high-level problem solving languages that can achieve high performance on a variety of pla...