4940 search results - page 724 / 988 » On the Complexity of Universal Programs |
223
click to vote
ILP
2007
Springer
16 years 21 days ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...
151
click to vote
KI
2007
Springer
16 years 21 days ago
2007
Springer
Information visualisation benefits from the Semantic Web: multimodal mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. Natural l...
178
click to vote
KI
2007
Springer
16 years 21 days ago
2007
Springer
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
189
click to vote
LFCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
166
click to vote
SAMT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Multimodal and dialogue-based mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. We explore more fine-grained co-ordina...