3053 search results - page 156 / 611 » Structured Objects: Modeling and Reasoning |
145
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper describes a Bayesian algorithm for rigid/non-rigid 2D visual object tracking based on sparse image features. The algorithm is inspired by the way human visual cortex se...
115
Voted
ITICSE
2003
ACM
15 years 8 months ago
2003
ACM
Changing conditions for teaching increase our motivation to understand the teaching and learning process. First time investigators of educational settings often feel uncertain abo...
118
Voted
FMOODS
2007
15 years 5 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
140
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
138
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...