Sciweavers

2602 search results - page 303 / 521
» Automatic Image Structure Analysis
Sort
View
IJCV
2002
86views more  IJCV 2002»
15 years 2 months ago
Panoramic Depth Imaging: Single Standard Camera Approach
In this paper we present a panoramic depth imaging system. The system is mosaic-based which means that we use a single rotating camera and assemble the captured images in a mosaic....
Peter Peer, Franc Solina
116
Voted
IPPS
2002
IEEE
15 years 8 months ago
Failure Behavior Analysis for Reliable Distributed Embedded Systems
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
Mario Trapp, Bernd Schürmann, Torsten Tettero...
NC
2007
129views Neural Networks» more  NC 2007»
15 years 2 months ago
Sorting of neural spikes: When wavelet based methods outperform principal component analysis
Sorting of the extracellularly recorded spikes is a basic prerequisite for analysis of the cooperative neural behavior and neural code. Fundamentally the sorting performance is deļ...
Alexey N. Pavlov, Valeri A. Makarov, Ioulia Makaro...
SIGSOFT
2004
ACM
16 years 3 months ago
A classification system and analysis for aspect-oriented programs
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
Martin C. Rinard, Alexandru Salcianu, Suhabe Bugra...
FM
2008
Springer
192views Formal Methods» more  FM 2008»
15 years 4 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli