9405 search results - page 1647 / 1881 » Computing a Model of Set Theory |
154
Voted
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
137
click to vote
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We have developed a new on-line error modeling and optimizationbased localization approach for sensor networks in the presence of distance measurement noise. The approach...
148
click to vote
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
137
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
A constant rebalanced portfolio is an investment strategy that keeps the same distribution of wealth among a set of stocks from day to day. There has been much work on Cover'...
175
click to vote
EPS
1995
Springer
15 years 8 months ago
1995
Springer
PANIC (Parallelism And Neural networks In Classifier systems) is a parallel system to evolve behavioral strategies codified by sets of rules. It integrates several adaptive techni...