1284 search results - page 60 / 257 » On Helping and Interactive Proof Systems |
203
click to vote
LBM
2007
15 years 7 months ago
2007
Background: Extracting Protein-Protein Interactions (PPI) from research papers is a way of translating information from English to the language used by the databases that store th...
155
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
This chapter introduces the concept of multi-modal interaction and our findings related to the development of biomedical applications for two different projection modalities: virtu...
157
click to vote
LCTRTS
1998
Springer
15 years 10 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
203
click to vote
KBSE
2002
IEEE
15 years 10 months ago
2002
IEEE
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
210
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...