8828 search results - page 1202 / 1766 » Formal methods in practice |
166
click to vote
IDA
2000
Springer
15 years 7 months ago
2000
Springer
Conventional algorithms for decision tree induction use an attribute-value representation scheme for instances. This paper explores the empirical consequences of using set-valued ...
202
Voted
JAMDS
2002
15 years 7 months ago
2002
Abstract. A resource selection probability function is a function that gives the probability that a resource unit (e.g., a plot of land) that is described by a set of habitat varia...
188
Voted
ML
2002
ACM
15 years 7 months ago
2002
ACM
Solving in an efficient manner many different optimal control tasks within the same underlying environment requires decomposing the environment into its computationally elemental ...
194
click to vote
PAMI
2002
15 years 7 months ago
2002
Factorization algorithms for recovering structure and motion from an image stream have many advantages, but they usually require a set of well tracked features. Such a set is in g...
193
click to vote
PE
2002
Springer
15 years 7 months ago
2002
Springer
We consider a FIFO multiplexer fed by flows that are individually constrained by arrival curves, and look for the best possible arrival curve for every output flow. This problem a...