Sciweavers

12836 search results - page 317 / 2568
» Generalization Methods in Bioinformatics
Sort
View
DAGSTUHL
2007
15 years 6 months ago
Homotopy Methods to Compute Equilibria in Game Theory
This paper presents a complete survey of the use of homotopy methods in game theory. Homotopies allow for a robust computation of game-theoretic equilibria and their refinements....
P. Jean-Jacques Herings, Ronald Peeters
119
Voted
IIWAS
2008
15 years 6 months ago
Web-based knowledge database construction method for supporting design
In recent years, comprehensive problem solving by artefact designers has been required as demands related to artefacts become greater and more complicated. In relation to this back...
Kiyotaka Takahashi, Aki Sugiyama, Yoshiki Shimomur...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 6 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
PRL
2008
113views more  PRL 2008»
15 years 4 months ago
A new normalized method on line-based homography estimation
It is a conventional belief that line-based approaches perform better than point-based ones for homography estimation, as the linefitting is generally more noise resistant than po...
Hui Zeng, Xiaoming Deng, Zhanyi Hu
SIAMCO
2008
127views more  SIAMCO 2008»
15 years 4 months ago
Control Lyapunov Functions and Zubov's Method
For finite dimensional nonlinear control systems we study the relation between asymptotic null-controllability and control Lyapunov functions. It is shown that control Lyapunov fun...
Fabio Camilli, Lars Grüne, Fabian Wirth