Sciweavers

3951 search results - page 113 / 791
» Automatic amortized analysis
Sort
View
190
Voted
IJISTA
2007
101views more  IJISTA 2007»
15 years 6 months ago
Incremental online PCA for automatic motion learning of eigen behaviour
: This paper presents an online learning framework for the behavior of an articulated body by capturing its motion using real-time video. In our proposed framework, supervised lear...
Xianhua Jiang, Yuichi Motai
TCS
2002
15 years 6 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
JRTIP
2008
151views more  JRTIP 2008»
15 years 5 months ago
Automatic gender recognition based on pixel-pattern-based texture feature
A pixel-pattern-based texture feature (PPBTF) is proposed for real-time gender recognition. A gray-scale image is transformed into a pattern map where edges and lines are to be use...
Huchuan Lu, Yingjie Huang, Yen-Wei Chen, Deli Yang
JCS
2011
72views more  JCS 2011»
15 years 1 months ago
Automatically deriving information-theoretic bounds for adaptive side-channel attacks
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
Boris Köpf, David A. Basin
JUCS
2010
139views more  JUCS 2010»
15 years 1 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...