Sciweavers

3926 search results - page 337 / 786
» Deriving Information Requirements from Responsibility Models
Sort
View
DSD
2007
IEEE
87views Hardware» more  DSD 2007»
16 years 1 months ago
On the Construction of Small Fully Testable Circuits with Low Depth
During synthesis of circuits for Boolean functions area, delay and testability are optimization goals that often contradict each other. Multi-level circuits are often quite small ...
Görschwin Fey, Anna Bernasconi, Valentina Cir...
ICRA
2007
IEEE
168views Robotics» more  ICRA 2007»
16 years 1 months ago
A Multi-State Constraint Kalman Filter for Vision-aided Inertial Navigation
— In this paper, we present an Extended Kalman Filter (EKF)-based algorithm for real-time vision-aided inertial navigation. The primary contribution of this work is the derivatio...
Anastasios I. Mourikis, Stergios I. Roumeliotis
B
2007
Springer
16 years 27 days ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
EAGC
2004
Springer
16 years 3 days ago
Using Global Snapshots to Access Data Streams on the Grid
Data streams are a prevalent and growing source of timely data. As streams become more prevalent, richer interrogation of the contents of the streams are required. Value of the con...
Beth Plale
ISMIR
2004
Springer
132views Music» more  ISMIR 2004»
16 years 2 days ago
Classification of musical genre: a machine learning approach
In this paper, we investigate the impact of machine learning algorithms in the development of automatic music classification models aiming to capture genres distinctions. The stu...
Roberto Basili, Alfredo Serafini, Armando Stellato