4814 search results - page 321 / 963 » Combining abstract interpreters |
197
click to vote
PERVASIVE
2005
Springer
16 years 5 days ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
156
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
189
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...
181
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
183
click to vote
ICDM
2003
IEEE
15 years 12 months ago
2003
IEEE
Most rule learning systems posit hard decision boundaries for continuous attributes and point estimates of rule accuracy, with no measures of variance, which may seem arbitrary to ...