Sciweavers

6168 search results - page 271 / 1234
» Research methods for HCI
Sort
View
CAV
2004
Springer
159views Hardware» more  CAV 2004»
16 years 1 days ago
Static Program Analysis via 3-Valued Logic
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
ROCAI
2004
Springer
15 years 12 months ago
What ROC Curves Can't Do (and Cost Curves Can)
Abstract. This paper shows that ROC curves, as a method of visualizing classifier performance, are inadequate for the needs of Artificial Intelligence researchers in several sign...
Chris Drummond, Robert C. Holte
ECML
1993
Springer
15 years 10 months ago
Integrated Learning Architectures
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...
Enric Plaza, Agnar Aamodt, Ashwin Ram, Walter Van ...
BIOCOMP
2006
15 years 8 months ago
A New Algorithm to Predict the Active Sites Using Amino Acid Vectors and Biochemical features of Surface Patches
: It is a very active research field to predict protein functions and active sites by protein surface patches. It is especially challengeable to predict the active sites by structu...
Sunshin Kim, Chung Rhee, Jungdo Choi, Yong Je Chun...
FLAIRS
2004
15 years 8 months ago
Advancements and Trends in Medical Case-Based Reasoning: An Overview of Systems and System Development
Case-Based Reasoning (CBR) is a recognised and well established method for building medical systems. In this paper, we identify strengths and weaknesses of CBR in medicine. System...
Markus Nilsson, Mikael Sollenborn