1454 search results - page 163 / 291 » Stateful traits and their formalization |
209
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
214
click to vote
FORTE
2009
15 years 4 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
190
click to vote
IFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
138
click to vote
EJWCN
2010
15 years 1 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
228
click to vote
SIAMADS
2011
14 years 9 months ago
2011
Discrete breathers are found in a nonlinear one dimensional axially loaded mechanical lattice consisting of rigid links supported laterally by linear springs. We find link centere...