2586 search results - page 133 / 518 » Automatic Abstraction for Congruences |
ISARCS
2010
15 years 2 months ago
2010
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
MVA
2006
14 years 10 months ago
2006
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...
ISVC
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Several existing procedural modeling systems are able to generate large 3D models of cities. However, none of these systems can automatically create 3D models of freeways...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
113
click to vote
ACII
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. Hand-over-face gestures, a subset of emotional body language, are overlooked by automatic affect inference systems. We propose the use of hand-over-face gestures as a no...