3207 search results - page 624 / 642 » A Semantics for HTN Methods |
126
Voted
DIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
167
Voted
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
140
click to vote
RSFDGRC
2005
Springer
15 years 8 months ago
2005
Springer
The paper concerns failing queries in incomplete Distributed Autonomous Information Systems (DAIS) based on attributes which are hierarchical and which semantics at different site...
113
Voted
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
139
Voted
TBILLC
2005
Springer
15 years 8 months ago
2005
Springer
Case attraction has stood as a puzzling, and elusive, oddity of older Indo-European languages. This paper focuses on attraction in Ancient Greek, establishing both the regularity o...