Sciweavers

6014 search results - page 1017 / 1203
» Parametric Analysis of Computer Systems
Sort
View
CVPR
2004
IEEE
15 years 8 months ago
Camera Calibration from a Single Night Sky Image
We present a simple and universal camera calibration method. Instead of extensive setups we are exploiting the accurate angular positions of fixed stars. High precision is achieve...
Andreas Klaus, Joachim Bauer, Konrad F. Karner, Pi...
FMCAD
2004
Springer
15 years 8 months ago
Bloom Filters in Probabilistic Verification
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
Peter C. Dillinger, Panagiotis Manolios
119
Voted
DAGM
2006
Springer
15 years 7 months ago
Classifying Event-Related Desynchronization in EEG, ECoG and MEG Signals
We present the results from three motor-imagery-based Brain-Computer Interface experiments. Brain signals were recorded from 8 untrained subjects using EEG, 4 using ECoG and 10 us...
N. Jeremy Hill, Thomas Navin Lal, Michael Schr&oum...
143
Voted
EDO
2000
Springer
15 years 7 months ago
Component Metadata for Software Engineering Tasks
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
Alessandro Orso, Mary Jean Harrold, David S. Rosen...
108
Voted
CSE
2009
IEEE
15 years 7 months ago
Energy Consumption of Residential and Professional Switches
Abstract—Precise evaluation of network appliance energy consumption is necessary to accurately model or simulate the power consumption of distributed systems. In this paper we ev...
Helmut Hlavacs, Georges Da Costa, Jean-Marc Pierso...
« Prev « First page 1017 / 1203 Last » Next »