Sciweavers

2623 search results - page 109 / 525
» Universal Learning Theory
Sort
View
CODES
2010
IEEE
14 years 10 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
188
Voted

Book
3864views
16 years 11 months ago
Constrained Optimization and Lagrange Multiplier Methods
"This is an excellent reference book. The author has done a great job in at least three directions. First, he expertly, systematically and with ever-present authority guides t...
Dimitri P. Bertsekas
78
Voted
TACAS
2010
Springer
167views Algorithms» more  TACAS 2010»
15 years 7 months ago
Antichain Algorithms for Finite Automata
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
Laurent Doyen, Jean-François Raskin
121
Voted
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
15 years 5 months ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse
92
Voted
ICCV
2003
IEEE
16 years 2 months ago
Towards a Mathematical Theory of Primal Sketch and Sketchability
In this paper, we present a mathematical theory for Marr's primal sketch. We first conduct a theoretical study of the descriptive Markov random field model and the generative...
Cheng-en Guo, Song Chun Zhu, Ying Nian Wu