Sciweavers

5896 search results - page 568 / 1180
» On Learning with Integral Operators
Sort
View
ICASSP
2010
IEEE
15 years 7 months ago
A nullspace analysis of the nuclear norm heuristic for rank minimization
The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...
Krishnamurthy Dvijotham, Maryam Fazel
JCS
2006
91views more  JCS 2006»
15 years 7 months ago
A survey of algebraic properties used in cryptographic protocols
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...
Véronique Cortier, Stéphanie Delaune...
JUCS
2010
106views more  JUCS 2010»
15 years 5 months ago
Near Eyes-Free Chauffeur Computer Interaction with Chording and Visual Text Mnemonics
: Modern cars are equipped with advanced technology requiring cognitively complex operation that is reliant on the user’s visual attention. It is therefore hazardous for drivers ...
Frode Eika Sandnes, Yo-Ping Huang, Yueh-Min Huang
AAAI
2011
14 years 7 months ago
The Epistemic Logic Behind the Game Description Language
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
Ji Ruan, Michael Thielscher
ICCAD
2001
IEEE
104views Hardware» more  ICCAD 2001»
16 years 4 months ago
A Symbolic Simulation-Based Methodology for Generating Black-Box Timing Models of Custom Macrocells
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
Clayton B. McDonald, Randal E. Bryant