1856 search results - page 232 / 372 » Formal Dialectic Specification |
184
click to vote
ECCV
2010
Springer
15 years 2 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...
136
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
185
click to vote
TC
2010
14 years 11 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
170
click to vote
TOSEM
2010
14 years 11 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
111
click to vote
NAR
2011
14 years 7 months ago
2011
The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and mod...