9810 search results - page 390 / 1962 » Problems, Descriptions and Objects |
213
click to vote
BIRTHDAY
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
171
click to vote
ILP
2003
Springer
16 years 1 days ago
2003
Springer
In the case of concept learning from positive and negative examples, it is rarely possible to find a unique discriminating conjunctive rule; in most cases, a disjunctive descripti...
192
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes an advanced system for multilingual text classification adaptable to different user needs. The system has been initially developed as an applied research proje...
267
click to vote
SBBD
2008
15 years 8 months ago
2008
A perfect hash function (PHF) is an injective function that maps keys from a set S to unique values, which are in turn used to index a hash table. Since no collisions occur, each k...
185
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...