1338 search results - page 150 / 268 » Consistent Code Generation from UML Models |
112
click to vote
ENTCS
2007
15 years 3 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
119
click to vote
ASM
2004
ASM
15 years 8 months ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
161
click to vote
MMSEC
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
120
Voted
ACL
2012
13 years 5 months ago
2012
We present a novel algorithm for multilingual dependency parsing that uses annotations from a diverse set of source languages to parse a new unannotated language. Our motivation i...
114
click to vote
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
We develop a new model-based extraction process guided by biomechanical analysis for walking people, and analyse its data for recognition capability. Hierarchies of shape and moti...