3468 search results - page 370 / 694 » An open logical framework |
142
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
124
click to vote
HCI
2009
15 years 2 months ago
2009
Abstract. OASIS is an Integrated Project with the aim to revolutionise the interoperability, quality, breadth and usability of services for all daily activities of the elderly, by ...
111
click to vote
JMLR
2010
14 years 11 months ago
2010
In this paper, we present an open source Error-Correcting Output Codes (ECOC) library. The ECOC framework is a powerful tool to deal with multi-class categorization problems. This...
177
click to vote
ESSOS
2011
Springer
14 years 8 months ago
2011
Springer
The feedback from architectural decisions to the elaboration of requirements is an established concept in the software engineering community. However, pinpointing the nature of thi...
233
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...