Sciweavers

1342 search results - page 35 / 269
» Shape reasoning and understanding
Sort
View
GEOS
2007
Springer
14 years 1 months ago
Applying Spatial Reasoning to Topographical Data with a Grounded Geographical Ontology
Abstract. Grounding an ontology upon geographical data has been proposed as a method of handling the vagueness in the domain more effectively. In order to do this, we require meth...
David Mallenby, Brandon Bennett
ECOOP
2010
Springer
14 years 6 days ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens
ENTCS
2007
84views more  ENTCS 2007»
13 years 7 months ago
Inductive Reasoning and Programming Visualization, an Experiment Proposal
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
Andrés Moreno, Niko Myller, Erkki Sutinen, ...
ECOOP
2007
Springer
14 years 1 months ago
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
Stephanie Balzer, Thomas R. Gross, Patrick Eugster
TOOLS
1998
IEEE
13 years 11 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
Roel Wuyts