Sciweavers

3311 search results - page 509 / 663
» Deductive Object Programming
Sort
View
CIBSE
2009
ACM
15 years 9 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
ICASSP
2008
IEEE
15 years 8 months ago
Audio cover song identification based on tonal sequence alignment
Nowadays, the term cover song (or simply cover) can mean any new version, performance, rendition, or recording of a previously recorded track. Cover song identification is a task...
Joan Serrà, Emilia Gómez
ICRA
2008
IEEE
164views Robotics» more  ICRA 2008»
15 years 8 months ago
Central axis approach for computing n-finger force-closure grasps
— In this paper, we propose a new approach for computing force-closure grasps of two-dimensional and threedimensional objects. Assuming n hard-finger contact with Coulomb fricti...
Belkacem Bounab, Daniel Sidobre, Abdelouhab Zaatri
106
Voted
NCA
2008
IEEE
15 years 8 months ago
Quicksilver Scalable Multicast (QSM)
QSM is a multicast engine designed to support a style of distributed programming in which application objects are replicated among clients and updated via multicast. The model req...
Krzysztof Ostrowski, Ken Birman, Danny Dolev
SIBGRAPI
2008
IEEE
15 years 8 months ago
An Automatic Crude Registration of Two Partially Overlapping Range Images
We present a crude registration algorithm for two partially overlapping range images acquired from a rigid object. Our proposal is characterized by two novel features: drastic dat...
Mercedes Rocío Gonzales Márquez, Shi...