Sciweavers

3267 search results - page 448 / 654
» Computational Models of Language Acquisition
Sort
View
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 9 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
PARLE
1993
15 years 8 months ago
A Parallel Programming Style and Its Algebra of Programs
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
Chris Hankin, Daniel Le Métayer, David Sand...
HRI
2009
ACM
15 years 11 months ago
Relating initial turns of human-robot dialogues to discourse
User models can be useful for improving dialogue management. In this paper we analyze human-robot dialogues that occur during uncontrolled interactions and estimate relations betw...
Maxim Makatchev, Min Kyung Lee, Reid G. Simmons
SEW
2006
IEEE
15 years 10 months ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....
HAPTICS
2005
IEEE
15 years 10 months ago
The Maxima Haptics Package -- A Tool for Symbolic Analysis of Haptics and Teleoperation
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
Göran A. V. Christiansson