Sciweavers

1285 search results - page 46 / 257
» An analysis of XQuery benchmarks
Sort
View
JMLR
2010
149views more  JMLR 2010»
14 years 4 months ago
Assessment of Cow's Body Condition Score Through Statistical Shape Analysis and Regression Machines
This study explores the feasibility of estimating the Body Condition Score (BCS) of cows from digital images by employing statistical shape analysis and regression machines. The s...
Sebastiano Battiato, Giovanni Maria Farinella, Giu...
ICML
2006
IEEE
15 years 10 months ago
Optimal kernel selection in Kernel Fisher discriminant analysis
In Kernel Fisher discriminant analysis (KFDA), we carry out Fisher linear discriminant analysis in a high dimensional feature space defined implicitly by a kernel. The performance...
Seung-Jean Kim, Alessandro Magnani, Stephen P. Boy...
ISORC
2008
IEEE
15 years 4 months ago
Usability Aspects of WCET Analysis
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
Jan Gustafsson
IPPS
2007
IEEE
15 years 4 months ago
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
Peter Csaba Ölveczky, Martin Grimeland
CC
2007
Springer
208views System Software» more  CC 2007»
15 years 4 months ago
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
Bernhard Scholz, Johann Blieberger