Sciweavers

975 search results - page 95 / 195
» Feature Interaction Problem in Computer-Telephony Integratio...
Sort
View
JUCS
2008
182views more  JUCS 2008»
15 years 2 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
ENTCS
2008
94views more  ENTCS 2008»
15 years 2 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
IROS
2007
IEEE
157views Robotics» more  IROS 2007»
15 years 8 months ago
A spatio-temporal probabilistic model for multi-sensor object recognition
— This paper presents a general framework for multi-sensor object recognition through a discriminative probabilistic approach modelling spatial and temporal correlations. The alg...
Bertrand Douillard, Dieter Fox, Fabio T. Ramos
156
Voted
CGA
2011
14 years 6 months ago
Practical Character Physics for Animators
—We describe a graphics system that significantly improves the visual quality of certain types of 3D character motion animated through traditional means by inferring physical pr...
Ari Shapiro, Sung-Hee Lee
ENVSOFT
2007
78views more  ENVSOFT 2007»
15 years 2 months ago
CREDOS: A Conservation Reserve Evaluation And Design Optimisation System
A number of spatial decision support systems (SDSSs) are already available for the systematic planning of conservation reserves. These existing systems offer varying levels of int...
Neville D. Crossman, Lyall M. Perry, Brett A. Brya...