5451 search results - page 733 / 1091 » Typed Operational Semantics |
184
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
152
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
207
click to vote
PROPOR
2010
Springer
16 years 1 months ago
2010
Springer
We address the problem of simplifying Portuguese texts at the sentence level treating it as a "translation task". We use the Statistical Machine Translation (SMT) framewo...
157
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—Accurate, simple and affordable methods for passive indoor tracking of human beings are still missing. In this article, we describe the development of an unobtrusive two-dimensi...
151
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
This paper explores the use of an outcome matrix as a computational representation of social interaction suitable for implementation on a robot. An outcome matrix expresses the re...