Sciweavers

14 search results - page 2 / 3
» Semantic Preserving Language Conversion by Simple Pattern Ma...
Sort
View
WEBI
2001
Springer
13 years 9 months ago
An Effective Conversational Agent with User Modeling Based on Bayesian Network
Abstract. Conversational agents interact with users using natural language interface. Especially in Internet space, their role has been recently highlighted as a virtual representa...
Seung-Ik Lee, Chul Sung, Sung-Bae Cho
AMAST
2010
Springer
13 years 9 days ago
Matching Logic: An Alternative to Hoare/Floyd Logic
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
Grigore Rosu, Chucky Ellison, Wolfram Schulte
NIPS
2003
13 years 6 months ago
A Holistic Approach to Compositional Semantics: A Connectionist Model and Robot Experiments
We present a novel connectionist model for acquiring the semantics of a simple language through the behavioral experiences of a real robot. We focus on the “compositionality” ...
Yuuya Sugita, Jun Tani
JSC
2010
103views more  JSC 2010»
13 years 3 months ago
Anti-patterns for rule-based languages
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. This should be naturally ...
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pie...
ICFP
2010
ACM
13 years 5 months ago
ReCaml: execution state as the cornerstone of reconfigurations
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
Jérémy Buisson, Fabien Dagnat