1156 search results - page 128 / 232 » Compositional Methods for Information-Hiding |
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— Mechanisms utilizing rigid links and relatively small flexural joints are very suitable for fabrication at the meso scale. The Micromechanical Flying Insect (MFI) project at U...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents a new family of architectures for multi-cycle area-efficient evaluation of elementary and composite functions, and an exploration of the design tradeoffs for i...
GREC
2003
Springer
14 years 2 months ago
2003
Springer
This paper presents a method of online sketchy shape recognition that can adapt to different user sketching styles. The adaptation principle is based on incremental active learning...
EDOC
2000
IEEE
14 years 1 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
FMICS
2009
Springer
14 years 27 days ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...