Sciweavers

3311 search results - page 509 / 663
» Deductive Object Programming
Sort
View
CIBSE
2009
ACM
15 years 11 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 11 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 11 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
NCA
2008
IEEE
15 years 11 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 11 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...