1878 search results - page 131 / 376 » The Vienna Abstract Machine |
113
click to vote
WAOA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We show that any real matrix can be rounded to an integer matrix in such a way that the rounding errors of all row sums are less than one, and the rounding errors of all ...
123
Voted
NLDB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we describe a new way to access information by “chatting” to an information source. This involves a chatbot, a program that emulates human conversation...
107
Voted
ICALT
2003
IEEE
15 years 8 months ago
2003
IEEE
Analysis of collaborative problem solving involves analysis of dialogue and interaction, analysis of tasks and social roles through ethnographic and other field studies. Use of to...
129
click to vote
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
137
Voted
ALS
2003
Springer
15 years 8 months ago
2003
Springer
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...