Sciweavers

5122 search results - page 280 / 1025
» Comparing Consequence Relations
Sort
View
156
Voted
LOGCOM
2008
110views more  LOGCOM 2008»
15 years 5 months ago
Sum and Product in Dynamic Epistemic Logic
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
JOT
2006
111views more  JOT 2006»
15 years 5 months ago
A Cohesion Measure for Aspects
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
Jean-François Gélinas, Mourad Badri,...
PAMI
2006
202views more  PAMI 2006»
15 years 5 months ago
Pose and Motion Recovery from Feature Correspondences and a Digital Terrain Map
A novel algorithm for pose and motion estimation using corresponding features and a Digital Terrain Map is proposed. Using a Digital Terrain (or Digital Elevation) Map (DTM/DEM) as...
Ronen Lerner, Ehud Rivlin, Héctor Rotstein
155
Voted
TASLP
2008
175views more  TASLP 2008»
15 years 5 months ago
A Variable Step-Size Affine Projection Algorithm Designed for Acoustic Echo Cancellation
Abstract--The adaptive algorithms used for acoustic echo cancellation (AEC) have to provide 1) high convergence rates and good tracking capabilities, since the acoustic environment...
Constantin Paleologu, Jacob Benesty, Silviu Ciochi...
TIP
2008
168views more  TIP 2008»
15 years 5 months ago
A Real-Time Algorithm for the Approximation of Level-Set-Based Curve Evolution
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
Yonggang Shi, William Clement Karl