Sciweavers

5358 search results - page 340 / 1072
» Script-based Presentation of Simulation Results
Sort
View
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
15 years 11 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
IJCV
2007
145views more  IJCV 2007»
15 years 7 months ago
Building Outline Extraction from Digital Elevation Models Using Marked Point Processes
— This work presents an automatic algorithm for extracting vectorial land registers from altimetric data in dense urban areas. We focus on elementary shape extraction and propose...
Mathias Ortner, Xavier Descombes, Josiane Zerubia
CORR
2010
Springer
162views Education» more  CORR 2010»
15 years 6 months ago
Networked Computing in Wireless Sensor Networks for Structural Health Monitoring
Abstract—This paper studies the problem of distributed computation over a network of wireless sensors. While this problem applies to many emerging applications, to keep our discu...
Apoorva Jindal, Mingyan Liu
ACMICEC
2004
ACM
162views ECommerce» more  ACMICEC 2004»
16 years 25 days ago
Balanced matching of buyers and sellers in e-marketplaces: the barter trade exchange model
In this paper, we describe the operation of barter trade exchanges by identifying key techniques used by trade brokers to stimulate trade and satisfy member needs, and present alg...
Peter Haddawy, Namthip Rujikeadkumjorn, Khaimook D...
ICIP
2003
IEEE
16 years 9 months ago
Disparity dependent segmentation based stereo image coding
In this paper, we propose a novel rate-distortion (R-D) optimized disparity based coding scheme for stereo images. This new scheme efficiently integrates the coding of the dispari...
Rahul Shukla, Hayder Radha, Martin Vetterli