Sciweavers

2373 search results - page 432 / 475
» Modelling Facial Behaviours
Sort
View
CAV
2001
Springer
83views Hardware» more  CAV 2001»
15 years 4 months ago
Iterating Transducers
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
Dennis Dams, Yassine Lakhnech, Martin Steffen
ECAL
2001
Springer
15 years 4 months ago
The Shifting Network: Volume Signalling in Real and Robot Nervous Systems
This paper presents recent work in computational modelling of diffusing gaseous neuromodulators in biological nervous systems. It goes on to describe work in adaptive autonomous sy...
Phil Husbands, Andrew Philippides, Tom Smith, Mich...
SAFECOMP
2001
Springer
15 years 4 months ago
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
Stefano Porcarelli, Felicita Di Giandomenico, Amin...
LCN
2000
IEEE
15 years 4 months ago
Performance Measurements and Analysis of TCP Flows in a Differentiated Services WAN
Abstract—This paper presents results from performance measurements carried out in a Differentiated Services WAN connecting three major cities in Southern Finland. The target of t...
Jarmo Harju, Yevgeni Koucheryavy, Juha Laine, Samp...
UIST
1999
ACM
15 years 4 months ago
Constraint Cascading Style Sheets for the Web
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...
Greg J. Badros, Alan Borning, Kim Marriott, Peter ...