Sciweavers

3148 search results - page 393 / 630
» On the Dynamic Initialization of Parallel Computers
Sort
View
ATAL
2009
Springer
15 years 9 months ago
A virtual laboratory for studying long-term relationships between humans and virtual agents
Longitudinal studies of human-virtual agent interaction are expensive and time consuming to conduct. We present a new concept and tool for conducting such studies—the virtual la...
Timothy W. Bickmore, Daniel Schulman
145
Voted
ICASSP
2007
IEEE
15 years 9 months ago
Spatiotemporal Algorithm for Background Subtraction
Background modeling and subtraction is a fundamental task in many computer vision and video processing applications. We present a novel probabilistic background modeling and subtr...
S. Derin Babacan, Thrasyvoulos N. Pappas
LICS
2007
IEEE
15 years 9 months ago
Pi-Calculus in Logical Form
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
Marcello M. Bonsangue, Alexander Kurz
ICCS
2007
Springer
15 years 9 months ago
Data Assimilation in Multiscale Chemical Transport Models
In this paper we discuss variational data assimilation using the STEM atmospheric Chemical Transport Model. STEM is a multiscale model and can perform air quality simulations and p...
Lin Zhang, Adrian Sandu
SOCASE
2007
Springer
15 years 9 months ago
Executing Semantic Web Services with a Context-Aware Service Execution Agent
The need to add semantic information to web-accessible services has created a growing research activity in this area. Standard initiatives such as OWL-S and WSDL enable the automat...
António Lopes, Luís Miguel Botelho