Sciweavers

1822 search results - page 183 / 365
» The Method of Assigning Incidences
Sort
View
252
Voted
ECRTS
2005
IEEE
16 years 21 days ago
Speed Modulation in Energy-Aware Real-Time Systems
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
Enrico Bini, Giorgio C. Buttazzo, Giuseppe Lipari
167
Voted
ICIP
2005
IEEE
16 years 21 days ago
Graph cut based segmentation of convoluted objects
Fundamental to any graph cut segmentation methods is the assignment of edge weights. The existing solutions typically use gaussian, exponential or rectangular cost functions with ...
Alex Yong Sang Chia, Vitali Zagorodnov
217
Voted
ICRA
2005
IEEE
109views Robotics» more  ICRA 2005»
16 years 20 days ago
Towards an Estimate of Confidence in a Road-Matched Location
- This paper describes a method that provides an estimated location of an outdoor vehicle relative to a digital road map using Belief Theory and Kalman filtering. Firstly, an Exten...
Maan E. El Najjar, Philippe Bonnifait
RTSS
2005
IEEE
16 years 20 days ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland
SIBGRAPI
2005
IEEE
16 years 20 days ago
Two-Level Interaction Approach for Transfer Function Specification
Direct volume rendering techniques are used to visualize and explore large scalar volumes. Transfer functions (TFs) that assign opacity and color to scalar values are very importa...
João Luis Prauchner, Carla M. D. S. Freitas...