Sciweavers

3951 search results - page 113 / 791
» Automatic amortized analysis
Sort
View
IJISTA
2007
101views more  IJISTA 2007»
15 years 4 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
132
Voted
TCS
2002
15 years 4 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 3 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»
14 years 11 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»
14 years 11 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...