Sciweavers

11030 search results - page 240 / 2206
» Generative Sound Models
Sort
View
ICRA
2006
IEEE
96views Robotics» more  ICRA 2006»
16 years 16 days ago
Manipulability Optimization for Trajectory Generation
Abstract— In this paper, we present an algorithm for manipulability based trajectory generation for any serial manipulator that has an inverse kinematic model that can obtain all...
Luis Guilamo, James J. Kuffner Jr., Koichi Nishiwa...
TACAS
2010
Springer
162views Algorithms» more  TACAS 2010»
16 years 1 months ago
Computing the Leakage of Information-Hiding Systems
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
Miguel E. Andrés, Catuscia Palamidessi, Pet...
DEXAW
2009
IEEE
86views Database» more  DEXAW 2009»
16 years 1 months ago
Robust Service-Based Semantic Querying to Distributed Heterogeneous Databases
— The amount of semantic data on the Web has increased exponentially in the last years. One of the main reasons for this is the use of RDB2RDF systems, which generate RDF data fr...
Carlos Buil Aranda, Óscar Corcho, Amy Kraus...
ISSTA
2009
ACM
16 years 1 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
HICSS
2005
IEEE
82views Biometrics» more  HICSS 2005»
16 years 3 days ago
To the Question "Does IT Matter?" Hollywood Answers "Yes"
Nicholas Carr’s question “Does IT Matter?”(to the maintenance of competitive advantage) has been applied to many industries but the one that depends on IT almost exclusively...
David A. Cook, Wenli Wang