Sciweavers

4451 search results - page 754 / 891
» On Random Ordering Constraints
Sort
View
CAIP
1995
Springer
252views Image Analysis» more  CAIP 1995»
14 years 1 months ago
3D Surface Reconstruction Using Occluding Contours
This paper addresses the problem of 3D surface reconstruction using image sequences. It has been shown that shape recovery from three or more occluding contours of the surface is p...
Edmond Boyer, Marie-Odile Berger
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
14 years 1 months ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
DAC
1995
ACM
14 years 1 months ago
A Transformation-Based Approach for Storage Optimization
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
Wei-Kai Cheng, Youn-Long Lin
OGAI
1991
14 years 1 months ago
Knowledge-Based Generation of Illustrated Documents
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
Wolfgang Wahlster, Elisabeth André, Som Ban...
ADHOCNETS
2009
Springer
14 years 2 days ago
Supporting Proactive Application Event Notification to Improve Sensor Network Performance
Abstract. As wireless sensor networks gain in popularity, many deployments are posing new challenges due to their diverse topologies and resource constraints. Previous work has sho...
Christophe J. Merlin, Wendi B. Heinzelman