8699 search results - page 40 / 1740 » Elements of the Theory of Computation |
CG
2004
Springer
13 years 8 months ago
2004
Springer
We present a framework for processing point-based surfaces via partial differential equations (PDEs). Our framework efficiently and effectively brings well-known PDE-based process...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
KR
1994
Springer
14 years 25 days ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
SIAMAM
2008
13 years 8 months ago
2008
Wave scattering by an array of bodies that is periodic except for a finite number of missing or irregular elements is considered. The field is decomposed into contributions from a...
DASFAA
2003
IEEE
14 years 2 months ago
2003
IEEE
Automating schema matching is challenging. Previous approaches (e.g. [MBR01, DDH01]) to automating schema matching focus on computing direct element matches between two schemas. S...