9626 search results - page 1646 / 1926 » Invariant Based Programming |
181
click to vote
SIGOPSE
2004
ACM
16 years 2 days ago
2004
ACM
Wireless ad hoc networks of sensor nodes are envisioned to be deployed in the physical environment to monitor a wide variety of real-world phenomena. Almost any sensor network appl...
181
click to vote
WMPI
2004
ACM
16 years 2 days ago
2004
ACM
Abstract. In this paper, we propose a processor architecture with programmable on-chip memory for a high-performance SMP (symmetric multi-processor) node named SCIMA-SMP (Software ...
187
click to vote
AMAI
2004
Springer
16 years 1 days ago
2004
Springer
The Minimax Probability Machine (MPM) constructs a classifier, which provides a worst-case bound on the probability of misclassification of future data points based on reliable ...
174
click to vote
AUSAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
221
click to vote
BIRTHDAY
2004
Springer
16 years 1 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...