Sciweavers

1450 search results - page 168 / 290
» On the Complexity of Hardness Amplification
Sort
View
AVBPA
2003
Springer
133views Biometrics» more  AVBPA 2003»
14 years 29 days ago
LUT-Based Adaboost for Gender Classification
There are two main approaches to the problem of gender classification, Support Vector Machines (SVMs) and Adaboost learning methods, of which SVMs are better in correct rate but ar...
Bo Wu, Haizhou Ai, Chang Huang
ISORC
2000
IEEE
14 years 27 days ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
14 years 27 days ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
EURODAC
1995
IEEE
202views VHDL» more  EURODAC 1995»
14 years 26 days ago
Hardware-software co-synthesis of fault-tolerant real-time distributed embedded systems
Distributed systems are becoming a popular way of implementing many embedded computing applications, automotive control being a common and important example. Such embedded systems...
Santhanam Srinivasan, Niraj K. Jha
FOCS
1995
IEEE
14 years 26 days ago
Tracking the Best Disjunction
Abstract. Littlestone developed a simple deterministic on-line learning algorithm for learning k-literal disjunctions. This algorithm (called Winnow) keeps one weight for each of t...
Peter Auer, Manfred K. Warmuth