657 search results - page 97 / 132 » Modeling Dynamic Domains with ConGolog |
PADL
2005
Springer
14 years 1 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
IHM
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...
DRM
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...
ITS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, ...
ICRA
2002
IEEE
14 years 19 days ago
2002
IEEE
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...