9284 search results - page 115 / 1857 » Knowledge State Algorithms |
139
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
119
Voted
HPCS
2005
IEEE
15 years 8 months ago
2005
IEEE
— With the principal goal of developing an alternative, relatively simple and tractable pricing framework for accurately reproducing a market implied volatility surface, this pap...
157
click to vote
RTAS
1999
IEEE
15 years 7 months ago
1999
IEEE
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
123
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Solutions to complex tasks often require the cooperation of multiple robots, however, developing multi-robot policies can present many challenges. In this work, we introduce teach...
146
Voted
WSC
2004
15 years 4 months ago
2004
We discuss ASAP3, a refinement of the batch means algorithms ASAP and ASAP2. ASAP3 is a sequential procedure designed to produce a confidence-interval estimator for the expected r...