1175 search results - page 165 / 235 » Abstract computability and algebraic specification |
ICCL
1992
IEEE
14 years 29 days ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
CEC
2009
IEEE
14 years 26 days ago
2009
IEEE
Abstract-- In many real-world scenarios, in contrast to standard benchmark optimization problems, we may face some uncertainties regarding the objective function. One source of the...
AIRS
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. This paper presents an approach for image annotation propagation to images which have no annotations. In some specific domains, the assumption that visual similarity impl...
IJCAI
2001
13 years 10 months ago
2001
ive probabilistic networks are qualitative abstractions of probabilistic networks, summarising probabilistic influences by qualitative signs. As qualitative networks model influen...
AAAI
1998
13 years 10 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...