Sciweavers

2841 search results - page 184 / 569
» A Call to Order
Sort
View
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
16 years 9 days ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
HYBRID
2003
Springer
16 years 9 days ago
On the Application of Hybrid Control to CPU Reservations
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
Luigi Palopoli, Luca Abeni, Giuseppe Lipari
ICANN
2003
Springer
16 years 9 days ago
Learning Rule Representations from Boolean Data
We discuss a Probably Approximate Correct (PAC) learning paradigm for Boolean formulas, which we call PAC meditation, where the class of formulas to be learnt is not known in advan...
Bruno Apolloni, Andrea Brega, Dario Malchiodi, Gio...
184
Voted
ICARCV
2002
IEEE
110views Robotics» more  ICARCV 2002»
16 years 1 days ago
A novel robust method for large numbers of gross errors
In computer vision tasks, it frequently happens that gross noise occupies the absolute majority of the data. Most robust estimators can tolerate no more than 50% gross errors. In ...
Hanzi Wang, David Suter
ICDCS
2002
IEEE
16 years 1 days ago
Fast Collect in the absence of contention
We present a generic module, called Fast Collect. Fast Collect is an implementation of Single-Writer Multi-Reader (SWMR) Shared-Memory in an asynchronous system in which a process...
Burkhard Englert, Eli Gafni