Sciweavers

7335 search results - page 1017 / 1467
» Scene Based Reasoning
Sort
View
IWPC
2003
IEEE
16 years 3 days ago
Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation
Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software ma...
James R. Cordy
TPHOL
2003
IEEE
16 years 3 days ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd
VL
2003
IEEE
128views Visual Languages» more  VL 2003»
16 years 3 days ago
Development and evaluation of a model of programming errors
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
Andrew Jensen Ko, Brad A. Myers
AGENTCL
2003
Springer
16 years 2 days ago
Commitment and Argument Network: A New Formalism for Agent Communication
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa
AGENTCL
2003
Springer
16 years 2 days ago
An Empirical Model of Communication in Multiagent Systems
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
Michael Rovatsos, Matthias Nickles, Gerhard Wei&sz...
« Prev « First page 1017 / 1467 Last » Next »