2226 search results - page 135 / 446 » Computable Analysis via Representations |
194
Voted
WOSP
1998
ACM
15 years 9 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
117
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
141
click to vote
SMI
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a fast deformation-based method for building time-varying surface models of dynamic objects from multiview video streams. Starting from an initial mesh representation, ...
166
click to vote
DKE
2002
15 years 4 months ago
2002
We introduce the notion of iceberg concept lattices and show their use in knowledge discovery in databases. Iceberg lattices are a conceptual clustering method, which is well suit...
154
click to vote
ACIVS
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel dedicated hardware system for the extraction of second-order statistical features from high-resolution images. The selected features are based on gray level co-o...