Sciweavers

57 search results - page 10 / 12
» Mining Patterns That Respond to Actions
Sort
View
SPIN
2012
Springer
11 years 9 months ago
Counterexample Explanation by Anomaly Detection
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
Stefan Leue, Mitra Tabaei Befrouei
PR
2007
142views more  PR 2007»
13 years 6 months ago
Visual guided navigation for image retrieval
In this work, we are interested in technologies that will allow users to actively browse and navigate large image databases and to retrieve images through interactive fast browsin...
Guoping Qiu, Jeremy Morris, Xunli Fan
ICRA
2010
IEEE
194views Robotics» more  ICRA 2010»
13 years 5 months ago
Through the development of a biomechatronic knee prosthesis for transfemoral amputees: Mechanical design and manufacture, human
— This paper presents the development of a biomechatronic knee prosthesis for transfemoral amputees. This kind of prostheses are considered ‘intelligent’ because they are abl...
Rafael R. Torrealba, Claudia Pérez-D'Arpino...
CLEIEJ
2004
168views more  CLEIEJ 2004»
13 years 6 months ago
Contributions of KDD to the Knowledge Management Process: a Case Study
Knowledge Discovery in Databases (KDD), as any organizational process, is carried out beneath a Knowledge Management (KM) model adopted (even informally) by a corporation. KDD is ...
Paulo de Tarso Costa de Sousa, Hércules Ant...
SDM
2007
SIAM
98views Data Mining» more  SDM 2007»
13 years 8 months ago
Lattice based Clustering of Temporal Gene-Expression Matrices
Individuals show different cell classes when they are in the different stages of a disease, have different disease subtypes, or have different response to a treatment or envir...
Yang Huang, Martin Farach-Colton