1914 search results - page 138 / 383 » Abstract lambda-Calculus Machines |
NLDB
2004
Springer
14 years 1 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...
ICALT
2003
IEEE
14 years 1 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...
TLDI
2003
ACM
14 years 1 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...
ALS
2003
Springer
14 years 1 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 ...
GECCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Feature extraction based on evolutionary search offers new possibilities for improving classification accuracy and reducing measurement complexity in many data mining and...