14854 search results - page 301 / 2971 » Evaluation of teleconsultation systems |
169
click to vote
AAAI
2000
15 years 8 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
115
click to vote
ISMB
1997
15 years 8 months ago
1997
Biological macromoleculesrepresent a valuable source of informationfor the identification and phylogenetic classification of microorganisms.Oneof the mostcommonlyused macromolecul...
154
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
Entity profiling is the task of identifying and ranking descriptions of a given entity. The task may be viewed as one where the descriptions being sought are terms that need to be ...
183
click to vote
PEPM
1997
ACM
15 years 11 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
192
click to vote
IJMI
2010
15 years 5 months ago
2010
We report from a longitudinal laboratory-based usability evaluation of a health care information system. A usability evaluation was conducted with novice users when an electronic p...