1342 search results - page 48 / 269 » Ordered Programs as Abductive Systems |
143
Voted
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
156
click to vote
ENTCS
2008
15 years 5 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
117
Voted
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
174
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
161
Voted
COLING
2000
15 years 6 months ago
2000
This paper presents a robust client/server implementation of a word sense disambiguator for English. This system associates a word with its meaning in a given context using dictio...