2273 search results - page 385 / 455 » On the Expressiveness and Complexity of ATL |
116
click to vote
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
INTERSENSE
2006
ACM
15 years 3 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
110
click to vote
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
We developed a machine learning system for determining gene functions from heterogeneous sources of data sets using a Weighted Naive Bayesian Network (WNB). The knowledge of gene ...
105
click to vote
WISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
112
click to vote
MIR
2005
ACM
15 years 3 months ago
2005
ACM
A typical way to perform video annotation requires to classify video elements (e.g. events and objects) according to some pre-defined ontology of the video content domain. Ontolo...