Sciweavers

1054 search results - page 192 / 211
» Compositional Refinement of Interactive Systems Modelled by ...
Sort
View
MSCS
2010
84views more  MSCS 2010»
13 years 5 months ago
Channel abstractions for network security
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
Michele Bugliesi, Riccardo Focardi
BMCBI
2005
178views more  BMCBI 2005»
13 years 6 months ago
A quantization method based on threshold optimization for microarray short time series
Background: Reconstructing regulatory networks from gene expression profiles is a challenging problem of functional genomics. In microarray studies the number of samples is often ...
Barbara Di Camillo, Fatima Sanchez-Cabo, Gianna To...
BCSHCI
2009
13 years 7 months ago
Measuring the influence of social abilities on acceptance of an interface robot and a screen agent by elderly users
Personal robots and screen agents can be equipped with social abilities to facilitate interaction. This paper describes our research on the influence of these abilities on elderly...
Marcel Heerink, Ben J. A. Kröse, Bob J. Wieli...
ATAL
2009
Springer
14 years 1 months ago
Real-time expressive gaze animation for virtual humans
Gaze is an extremely important aspect of human face to face interaction. Over the course of an interaction, a single individual’s gaze can perform many different functions, such...
Marcus Thiébaux, Brent Lance, Stacy Marsell...
INTERACTION
2009
ACM
14 years 1 months ago
Temporal-spatial association analysis of ocean salinity and temperature variations
Ocean circulation plays an important role in global climate change. In an effort to monitor ocean circulation an infrastructure of more than 3,000 buoys have been deployed in the ...
Yo-Ping Huang, Jung-Shian Jau, Frode Eika Sandnes