882 search results - page 164 / 177 » Allowing State Changes in Specifications |
142
click to vote
DBPL
1993
Springer
15 years 9 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
191
click to vote
CVPR
2009
IEEE
2009
IEEE
Switching Gaussian Process Dynamic Models for simultaneous composite motion tracking and recognition
15 years 9 months ago
Traditional dynamical systems used for motion tracking cannot effectively handle high dimensionality of the motion states and composite dynamics. In this paper, to address both is...
228
click to vote
POPL
1995
ACM
15 years 9 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
168
click to vote
CANDC
2005
ACM
15 years 7 months ago
2005
ACM
A prototype system for the automatic evolution of biomimetic structures using structural automata is described and its utility for generating digital sculpture is demonstrated. Sc...
170
click to vote
COMPGEOM
2008
ACM
15 years 7 months ago
2008
ACM
We consider the problem of finding a maximum number of disjoint paths for unit disks moving amidst static or dynamic obstacles. For the static case we give efficient exact algorit...