797 search results - page 96 / 160 » Observing Success in the Pi-Calculus |
AAAI
1998
14 years 11 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
DARE
2000
14 years 11 months ago
2000
In User Centred Design, the integration of knowledge of users work practice, preferences etc. into the design process is crucial to success. For this reason, video recording has b...
WSCG
2003
14 years 11 months ago
2003
This paper presents a self-calibration technique for a camera mounted on an underwater vehicle designed to perform the 3D reconstruction of underwater scenes. Our aim is to identi...
IMAGING
2000
14 years 11 months ago
2000
In simplest terms, brightness is the appearance of luminance and lightness is the appearance of objects. The experiments in this paper measure the appearance of three visible face...
ACL
1993
14 years 11 months ago
1993
There is a need to develop a suitable computational grammar formalism for free word order languages for two reasons: First, a suitably designed formalism is likely to be more effi...