Sciweavers

2020 search results - page 140 / 404
» Speeding up Slicing
Sort
View
90
Voted
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 7 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
127
Voted
ICDM
2006
IEEE
183views Data Mining» more  ICDM 2006»
15 years 6 months ago
Accelerating Newton Optimization for Log-Linear Models through Feature Redundancy
— Log-linear models are widely used for labeling feature vectors and graphical models, typically to estimate robust conditional distributions in presence of a large number of pot...
Arpit Mathur, Soumen Chakrabarti
87
Voted
ICMCS
2006
IEEE
130views Multimedia» more  ICMCS 2006»
15 years 6 months ago
A Language and Architecture for Automating Multimedia Content Production on Grid
Possible solutions to the management of multichannel delivering, production on demand, and containment of sale prices in the digital multimedia content production could be the aut...
Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi
ICMCS
2006
IEEE
108views Multimedia» more  ICMCS 2006»
15 years 6 months ago
Optimized Chamfer Matching for Snake-Based Image Contour Representations
In this paper we present a novel method on how to take advantage of the snake representation of target objects, when doing chamfer matching for detection/recognition purposes. In ...
András Hajdu, Athanasios Roubies, Ioannis P...
75
Voted
ICRA
2006
IEEE
127views Robotics» more  ICRA 2006»
15 years 6 months ago
Multimode Locomotion via SuperBot Robots
– This paper presents a modular and reconfigurable robot for multiple locomotion modes based on reconfigurable modules. Each mode consists of characteristics for the environment ...
Wei-Min Shen, Maks Krivokon, Harris Chiu, Jacob Ev...