Sciweavers

739 search results - page 39 / 148
» A New Autocalibration Algorithm: Experimental Evaluation
Sort
View
DCC
2007
IEEE
14 years 8 months ago
Algorithms and Hardware Structures for Unobtrusive Real-Time Compression of Instruction and Data Address Traces
Instruction and data address traces are widely used by computer designers for quantitative evaluations of new architectures and workload characterization, as well as by software de...
Milena Milenkovic, Aleksandar Milenkovic, Martin B...
CHARME
2001
Springer
107views Hardware» more  CHARME 2001»
14 years 11 days ago
Using Combinatorial Optimization Methods for Quantification Scheduling
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...
GECCO
2007
Springer
156views Optimization» more  GECCO 2007»
14 years 2 months ago
Nonlinearity linkage detection for financial time series analysis
Standard detection algorithms for nonlinearity linkage fail when applied to typical problems in the analysis of financial time-series data. We explain how this failure arises whe...
Theodore Chiotis, Christopher D. Clack
EVOW
2008
Springer
13 years 10 months ago
Multiobjective Prototype Optimization with Evolved Improvement Steps
Recently, a new iterative optimization framework utilizing an evolutionary algorithm called "Prototype Optimization with Evolved iMprovement Steps" (POEMS) was introduced...
Jirí Kubalík, Richard Mordinyi, Stef...
ICIP
2010
IEEE
13 years 6 months ago
Stationary foreground detection using background subtraction and temporal difference in video surveillance
In this paper we describe a new algorithm focused on obtaining stationary foreground regions, which is useful for applications like the detection of abandoned/stolen objects and p...
Álvaro Bayona, Juan C. SanMiguel, Jos&eacut...