663 search results - page 82 / 133 » Synthesis of Self-Testable Controllers |
129
click to vote
CAIP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we present a novel analysis-by-synthesis approach for real-time camera tracking in industrial scenarios. The camera pose estimation is based on the tracking...
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
93
Voted
PCM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper presents a prototype system, which synthesizes entertainment-oriented cartoon face and translates text message to multimedia animation in mobile phone. While a...
124
Voted
FPL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Layout tools for FPGAs can typically be run in two different modes: non-timing-driven and timing-driven. Non-timing-driven mode produces a solution quickly, without consi...
144
Voted
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...