12741 search results - page 279 / 2549 » Editorial and call for papers |
190
click to vote
ICNC
2005
Springer
16 years 7 days ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
167
click to vote
ILP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper is concerned with generalization issues for a decision tree learner for structured data called Alkemy. Motivated by error bounds established in statistical lea...
162
click to vote
IWINAC
2005
Springer
16 years 6 days ago
2005
Springer
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern c...
175
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...
166
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...