Sciweavers

10048 search results - page 197 / 2010
» The Structure and Performance of Interpreters
Sort
View
AI
2006
Springer
15 years 7 months ago
Robot introspection through learned hidden Markov models
In this paper we describe a machine learning approach for acquiring a model of a robot behaviour from raw sensor data. We are interested in automating the acquisition of behaviour...
Maria Fox, Malik Ghallab, Guillaume Infantes, Dere...
CPHYSICS
2007
106views more  CPHYSICS 2007»
15 years 7 months ago
The way towards thermonuclear fusion simulators
In parallel to the ITER project itself, many initiatives address complementary technological issues relevant to a fusion reactor, as well as many remaining scientific issues. One...
A. Bécoulet, Per Strand, H. Wilson, M. Roma...
JAIR
2007
117views more  JAIR 2007»
15 years 7 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
ENTCS
2000
120views more  ENTCS 2000»
15 years 7 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
EXPERT
2002
146views more  EXPERT 2002»
15 years 7 months ago
The Frame-Based Module of the SUISEKI Information Extraction System
names in the same abstract already indicates a relation between them. Because of its simplicity, we can apply this approach to large amounts of text and establish interaction netwo...
Christian Blaschke, Alfonso Valencia