Sciweavers

6833 search results - page 370 / 1367
» Some two-character sets
Sort
View
AB
2007
Springer
15 years 11 months ago
Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
Alexandre Sedoglavic
RTA
2010
Springer
15 years 10 months ago
Order-Sorted Unification with Regular Expression Sorts
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
Temur Kutsia, Mircea Marin
FBIT
2007
IEEE
15 years 10 months ago
Early Detection of Prostate Cancer with Classifier Ensembles
We investigate the performance of different classification models and their ability to recognize prostate cancer in an early state. We build ensembles of classification models in ...
Jörg D. Wichard, Henning Cammann, Carsten Ste...
ATAL
2004
Springer
15 years 10 months ago
Bargaining with Information
A negotiating agent engages in multi-issue bilateral negotiation in a dynamic information-rich environment. The agent strives to make informed decisions. The agent may assume that...
John K. Debenham
CSR
2006
Springer
15 years 10 months ago
Unfolding Synthesis of Asynchronous Automata
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
Nicolas Baudru, Rémi Morin