3765 search results - page 669 / 753 » Formal Methods for Systems Engineering Behavior Models |
149
click to vote
TASE
2011
IEEE
14 years 9 months ago
2011
IEEE
—This paper reports the design and development processes of a totally decoupled flexure-based XYZ parallel-kinematics micropositioning stage with piezoelectric actuation. The un...
130
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
122
Voted
MICCAI
2006
Springer
16 years 3 months ago
2006
Springer
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
95
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Many systems use past behavior, preferences and environmental factors to attempt to predict user navigation on the Internet. However we believe that many of these models have shor...
119
Voted
PASTE
2010
ACM
15 years 4 months ago
2010
ACM
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...