Sciweavers

2199 search results - page 137 / 440
» Visualization Process of Temporal Data
Sort
View
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 3 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
IV
2006
IEEE
82views Visualization» more  IV 2006»
15 years 4 months ago
Two sides of the story: Visualising Products and Processes in Engineering Design
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...
René Keller, Tomás L. Flanagan, Clau...
ICCV
2007
IEEE
15 years 12 months ago
Active Learning with Gaussian Processes for Object Categorization
Discriminative methods for visual object category recognition are typically non-probabilistic, predicting class labels but not directly providing an estimate of uncertainty. Gauss...
Ashish Kapoor, Kristen Grauman, Raquel Urtasun, Tr...
NIME
2004
Springer
125views Music» more  NIME 2004»
15 years 3 months ago
Techniques for Multi-Channel Real-Time Spatial Distribution Using Frequency-Domain Processing
The authors have developed several methods for spatially distributing spectral material in real-time using frequency-domain processing. Applying spectral spatialization techniques...
Ryan H. Torchia, Cort Lippe
ICIP
2003
IEEE
15 years 11 months ago
Transductive inference for color-based particle filter tracking
Robust real-time tracking of non-rigid objects in a dynamic environment is a challenging task. Among various cues in tracking, color can provide an efficient visual cue for this t...
Jiang Li, Chin-Seng Chua