Sciweavers

1865 search results - page 236 / 373
» A Rule-Based, Integrated Modelling Approach for Object-Orien...
Sort
View
CGF
2002
184views more  CGF 2002»
15 years 4 months ago
The 3D Model Acquisition Pipeline
Three-dimensional (3D) image acquisition systems are rapidly becoming more affordable, especially systems based on commodity electronic cameras. At the same time, personal compute...
Fausto Bernardini, Holly E. Rushmeier
WOWMOM
2005
ACM
98views Multimedia» more  WOWMOM 2005»
15 years 10 months ago
Intuitive Human Governance of Autonomic Pervasive Computing Environments
This paper proposes an intuitive configuration tool for autonomic pervasive computing systems. Specifically the paper presents a system for the inference of user task intentions f...
Tony O'Donnell, David Lewis, Vincent Wade
AH
2000
Springer
15 years 8 months ago
Generating Personal Travel Guides from Discourse Plans
This paper describes a system that delivers travel guides tailored to individual needs. It does so by integrating a discourse planner with a system for querying the web and genera...
Ross Wilkinson, Shijian Lu, François Paradi...
IPPS
1998
IEEE
15 years 8 months ago
Automatically Proving UNITY Safety Properties with Arrays and Quantifiers
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
Xavier Thirioux
WSR
2008
15 years 6 months ago
Towards Querying of Traceability Information in the Context of Software Evolution
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...
Hannes Schwarz, Jürgen Ebert, Volker Riediger...