Sciweavers

11097 search results - page 98 / 2220
» Hera presentation generator
Sort
View
3DPVT
2002
IEEE
108views Visualization» more  3DPVT 2002»
15 years 2 months ago
Probabilistic 3D Data Fusion for Adaptive Resolution Surface Generation
In this paper we present an algorithm for adaptive resolution integration of 3D data collected from multiple distributed sensors. The input to the algorithm is a set of 3D surface...
Andrew E. Johnson, Roberto Manduchi
FASE
2009
Springer
15 years 1 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
14 years 12 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
AI
2008
Springer
14 years 10 months ago
Fully generated scripted dialogue for embodied agents
: This paper presents the NECA approach to the generation of dialogues between Embodied Conversational Agents (ECAs). This approach consist of the automated constructtion stract sc...
Kees van Deemter, Brigitte Krenn, Paul Piwek, Mart...
CGF
2008
120views more  CGF 2008»
14 years 10 months ago
Generating Color Palettes using Intuitive Parameters
Color is widely used in data visualization to show data values. The proper selection of colors is critical to convey information correctly. In this paper, we present a technique f...
Martijn Wijffelaars, Roel Vliegen, Jarke J. van Wi...