1884 search results - page 251 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
ISNN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Compared to normal learning algorithms, for example backpropagation, the optimal bounded ellipsoid (OBE) algorithm has some better properties, such as faster convergence,...
107
click to vote
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
120
click to vote
ICT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents the ADenoIdS intrusion detection system (IDS). ADenoIdS takes some architectural inspiration from the human immune system and automates intrusion reco...
114
Voted
MLMI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Static documents play a central role in multimodal applications such as meeting recording and browsing. They provide a variety of structures, in particular thematic, for ...