Sciweavers

1344 search results - page 109 / 269
» Automatic performance analysis with periscope
Sort
View
CLEAR
2007
Springer
157views Biometrics» more  CLEAR 2007»
15 years 10 months ago
Multispeaker Localization and Tracking in Intelligent Environments
Automatic speaker localization is an important task in several applications such as acoustic scene analysis, hands-free videoconferencing orspeechenhancement.Trackingspeakersinmult...
Carlos Segura, Alberto Abad, Javier Hernando, Clim...
ENVSOFT
2006
120views more  ENVSOFT 2006»
15 years 4 months ago
Improving the analyses of nestedness for large sets of matrices
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...
Paulo R. Guimarães Jr., Paulo Guimarã...
CHARME
2005
Springer
176views Hardware» more  CHARME 2005»
15 years 10 months ago
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P...
WACV
2002
IEEE
15 years 9 months ago
Development and Analysis of a Real-Time Human Motion Tracking System
This paper describes a method for tracking human body motion from multiple views in real-time. The method extracts silhouettes in each view using background subtraction, and then ...
Jason P. Luck, Christian Debrunner, William Hoff, ...
CLUSTER
2007
IEEE
15 years 8 months ago
A feasibility analysis of power-awareness and energy minimization in modern interconnects for high-performance computing
High-performance computing (HPC) systems consume a significant amount of power, resulting in high operational costs, reduced reliability, and wasting of natural resources. Therefor...
Reza Zamani, Ahmad Afsahi, Ying Qian, V. Carl Hama...