Sciweavers

12946 search results - page 2342 / 2590
» Natural Language Processing
Sort
View
ICRA
2010
IEEE
194views Robotics» more  ICRA 2010»
15 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...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
ISCA
2010
IEEE
232views Hardware» more  ISCA 2010»
15 years 5 months ago
Evolution of thread-level parallelism in desktop applications
As the effective limits of frequency and instruction level parallelism have been reached, the strategy of microprocessor vendors has changed to increase the number of processing ...
Geoffrey Blake, Ronald G. Dreslinski, Trevor N. Mu...
PAA
2010
15 years 5 months ago
Exploiting visual and text features for direct marketing learning in time and space constrained domains
Traditionally, direct marketing companies have relied on pre-testing to select the best offers to send to their audiences. Companies systematically dispatch the offers under consid...
Sebastiano Battiato, Giovanni Maria Farinella, Gio...
PVLDB
2010
122views more  PVLDB 2010»
15 years 5 months ago
On Graph Query Optimization in Large Networks
The dramatic proliferation of sophisticated networks has resulted in a growing need for supporting effective querying and mining methods over such large-scale graph-structured da...
Peixiang Zhao, Jiawei Han
« Prev « First page 2342 / 2590 Last » Next »