4255 search results - page 541 / 851 » Cover |
196
click to vote
JSAI
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
195
click to vote
KIVS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
152
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
We present an algorithm for the conversion of very weak alternating Büchi automata into nondeterministic Büchi automata (NBA), and we introduce a local optimization criterion fo...
190
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
185
click to vote
MSN
2005
Springer
16 years 6 days ago
2005
Springer
The coverage problem in wireless sensor networks (WSNs) is to determine the number of active sensor nodes needed to cover the sensing area. The purpose is to extend the lifetime of...