Sciweavers

2346 search results - page 331 / 470
» Hierarchical State Machines
Sort
View
DSN
2007
IEEE
16 years 25 days ago
How to Choose a Timing Model?
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
Idit Keidar, Alexander Shraer
ICDM
2007
IEEE
138views Data Mining» more  ICDM 2007»
16 years 24 days ago
Bandit-Based Algorithms for Budgeted Learning
We explore the problem of budgeted machine learning, in which the learning algorithm has free access to the training examples’ labels but has to pay for each attribute that is s...
Kun Deng, Chris Bourke, Stephen D. Scott, Julie Su...
IJCNN
2007
IEEE
16 years 24 days ago
A Closed Form Solution for Multiple-Input Spike Based Adaptive Filters
— Neurons are point process systems, in the sense that the inputs and output which are spike trains can be treated as point processes. System identification of a point process s...
Il Park, António R. C. Paiva, Jose C. Princ...
B
2007
Springer
16 years 20 days ago
Modelling and Proof Analysis of Interrupt Driven Scheduling
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
Bill Stoddart, Dominique Cansell, Frank Zeyda
ECWEB
2007
Springer
144views ECommerce» more  ECWEB 2007»
16 years 20 days ago
Structural and Semantic Similarity Metrics for Web Service Matchmaking
Service matchmaking is the process of finding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...
Akin Günay, Pinar Yolum