Sciweavers

2152 search results - page 384 / 431
» On Automating the Calculus of Relations
Sort
View
NAR
2007
120views more  NAR 2007»
15 years 1 days ago
TOPOFIT-DB, a database of protein structural alignments based on the TOPOFIT method
TOPOFIT-DB (T-DB) is a public web-based database of protein structural alignments based on the TOPOFIT method, providing a comprehensive resource for comparative analysis of prote...
Chesley M. Leslin, Alexej Abyzov, Valentin A. Ilyi...
PRESENCE
2007
167views more  PRESENCE 2007»
15 years 17 hour ago
TimbreFields: 3D Interactive Sound Models for Real-Time Audio
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...
Richard Corbett, Kees van den Doel, John E. Lloyd,...
SAC
2008
ACM
15 years 1 hour ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
ICRA
2010
IEEE
81views Robotics» more  ICRA 2010»
14 years 11 months ago
Using recursive spectral registrations to determine brokenness as measure of structural map errors
—There are many common error sources that influence mapping, e.g., salt and pepper noise as well as other effects occurring quite uniformly distributed over the map. On the oth...
Andreas Birk
ICSE
2010
IEEE-ACM
14 years 11 months ago
Integrating legacy systems with MDE
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
Mickael Clavreul, Olivier Barais, Jean-Marc J&eacu...