1918 search results - page 189 / 384 » Discovering Cortical Algorithms |
159
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
143
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...
135
click to vote
ECOWS
2007
Springer
15 years 11 months ago
2007
Springer
A major advantage offered by Web services technologies is the ability to dynamically discover and invoke services. This ability is particularly important for operations of many ap...
146
click to vote
EUROGP
2007
Springer
15 years 11 months ago
2007
Springer
A Genetic Programming based boosting ensemble method for the classification of distributed streaming data is proposed. The approach handles flows of data coming from multiple loc...
132
click to vote
MICAI
2007
Springer
15 years 11 months ago
2007
Springer
A successful interpretation of data goes through discovering crucial relationships between variables. Such a task can be accomplished by a Bayesian network. The dark side is that, ...