1887 search results - page 251 / 378 » Annotation Framework Validation Using Domain Models |
100
click to vote
IJCAI
2001
15 years 4 months ago
2001
We describe a framework that helps students learn from examples by generating example problem solutions whose level of detail is tailored to the students' domain knowledge. T...
127
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
The importance estimation problem (estimating the ratio of two probability density functions) has recently gathered a great deal of attention for use in various applications, e.g....
134
click to vote
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
150
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
—The use of vital signs as a biometric is a potentially viable approach in a variety of application scenarios such as security and personalized health care. In this paper, a nove...
119
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...