Sciweavers

95 search results - page 12 / 19
» Incremental Reasoning for Object Oriented Systems
Sort
View
CL
2012
Springer
13 years 2 months ago
Object swapping challenges: An evaluation of imageSegment
In object-oriented systems, runtime memory is composed of an object graph in which objects refer to other objects. This graph of objects evolves while the system is running. Graph...
Mariano Martinez Peck, Noury Bouraqadi, Sté...
110
Voted
AOSE
2001
Springer
15 years 4 months ago
Agent-Oriented Modelling: Software versus the World
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
Eric S. K. Yu
ECOOP
2003
Springer
15 years 4 months ago
A Calculus of Untyped Aspect-Oriented Programs
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
Radha Jagadeesan, Alan Jeffrey, James Riely
102
Voted
CVPR
1997
IEEE
15 years 3 months ago
Automated Model Acquisition from Range Images with View Planning
We present an incremental system that builds accurate CAD models of objects from multiple range images. Using a hybrid of surface mesh and volumetric representations, the system c...
Michael K. Reed, Peter K. Allen, Ioannis Stamos
ASP
2003
Springer
15 years 4 months ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca