2251 search results - page 418 / 451 » Specification and Implementation Problems for C |
111
click to vote
CGO
2008
IEEE
15 years 3 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
108
click to vote
DIAGRAMS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
121
click to vote
ACMICEC
2008
ACM
15 years 3 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
134
click to vote
AAAI
2004
15 years 3 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
139
click to vote
AAAI
2006
15 years 3 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...