Sciweavers

6010 search results - page 401 / 1202
» Computational Approaches to Drug Design
Sort
View
CHI
2004
ACM
16 years 7 months ago
Modeling analyst performance for usability inspection
This research takes an analyst-centred approach to improving Usability Inspection Methods. The research approach adopts novel instruments and methods, especially manipulation and ...
Alan Woolrych
ICPR
2008
IEEE
16 years 1 months ago
Dynamic score combination of binary experts
The combination of experts is used to improve the performance of a classification system. In this paper we propose three dynamic score combination techniques that embed the selec...
Roberto Tronci, Giorgio Giacinto, Fabio Roli
SEW
2007
IEEE
16 years 1 months ago
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...
Tiziana Margaria, Bernhard Steffen
SPIN
2007
Springer
16 years 1 months ago
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
María-del-Mar Gallardo, Christophe Joubert,...
ICPR
2006
IEEE
16 years 29 days ago
Real Time Limb Tracking with Adaptive Model Selection
We describe an efficient and robust method of tracking human forearms as skin colored regions. Of special consideration in the design of this system are real-time and robustness ...
Matheen Siddiqui, Gérard G. Medioni