Sciweavers

1342 search results - page 45 / 269
» Shape reasoning and understanding
Sort
View
COSIT
2009
Springer
211views GIS» more  COSIT 2009»
14 years 11 months ago
The Abduction of Geographic Information Science: Transporting Spatial Reasoning to the Realm of Purpose and Design
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
Helen Couclelis
CMPB
2010
97views more  CMPB 2010»
15 years 16 days ago
A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
Weiru Liu, Anbu Yue, David J. Timson
VMCAI
2009
Springer
15 years 8 months ago
Thread-Modular Shape Analysis
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sa...
ICIP
2009
IEEE
14 years 11 months ago
Shapes as empirical distributions
We address the problem of shape based classification. We interpret the shape of an object as a probability distribution governing the location of the points of the object. An imag...
Bernardo Rodrigues Pires, José M. F. Moura
ECLIPSE
2005
ACM
15 years 3 months ago
An analysis and visualization for revealing object sharing
Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-oriented programming languages permit the programmer to selectively break en...
Derek Rayside, Lucy Mendel, Robert Seater, Daniel ...