298 search results - page 26 / 60 » Abstract Models of Transfinite Reductions |
160
click to vote
IJCNN
2007
IEEE
16 years 5 days ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
177
click to vote
CDC
2008
IEEE
16 years 11 days ago
2008
IEEE
Abstract— We study Balanced Truncation for stochastic differential equations. In doing so, we adopt ideas from large deviations theory and discuss notions of controllability and ...
146
click to vote
ASIAN
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
139
click to vote
BIRTHDAY
2007
Springer
16 years 2 days ago
2007
Springer
elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Bra...
172
click to vote
ACRI
2006
Springer
15 years 12 months ago
2006
Springer
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...