1187 search results - page 178 / 238 » Graph-Based Procedural Abstraction |
190
click to vote
AVBPA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we introduce a novel approach for learning view-invariant gait representation that does not require synthesizing particular views or any camera calibration....
231
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
120
click to vote
CIARP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a new approach to the question of surface grading based on soft colour-texture descriptors and well known classifiers. These descriptors come from gl...
199
click to vote
EPIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
149
click to vote
EUROGP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...