Sciweavers

1265 search results - page 56 / 253
» Performance Measurement of Interpreted Programs
Sort
View
MM
2005
ACM
179views Multimedia» more  MM 2005»
14 years 3 months ago
Automatic identification of digital video based on shot-level sequence matching
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
Jian Zhou, Xiao-Ping Zhang
CAV
2007
Springer
104views Hardware» more  CAV 2007»
14 years 4 months ago
Revamping TVLA: Making Parametric Shape Analysis Competitive
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly ...
UAI
2004
13 years 11 months ago
The Minimum Information Principle for Discriminative Learning
Exponential models of distributions are widely used in machine learning for classification and modelling. It is well known that they can be interpreted as maximum entropy models u...
Amir Globerson, Naftali Tishby
IPPS
2005
IEEE
14 years 3 months ago
Toward an Evaluation Infrastructure for Power and Energy Optimizations
Execution-driven simulators are often used for power/energy and performance evaluation. Simulators can provide semantic details but they provide insufficient speed and accuracy f...
Chunling Hu, Daniel A. Jiménez, Ulrich Krem...
GECCO
2009
Springer
130views Optimization» more  GECCO 2009»
14 years 2 months ago
Neutrality and variability: two sides of evolvability in linear genetic programming
The notion of evolvability has been put forward to describe the“core mechanism”of natural and artificial evolution. Recently, studies have revealed the influence of the envi...
Ting Hu, Wolfgang Banzhaf