8874 search results - page 155 / 1775 » A New Implementation of Automath |
122
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
The problem of expressing and solving satisfiability problems (SAT) with qualitative preferences is central in many areas of Computer Science and Artificial Intelligence. In previo...
125
click to vote
DBSEC
2007
15 years 5 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...
106
click to vote
LREC
2010
15 years 5 months ago
2010
In this work we present further development of the SpLaSH (Spoken Language Search Hawk) project. SpLaSH implements a data model for annotated speech corpora integrated with textua...
121
click to vote
LREC
2008
15 years 5 months ago
2008
The Berkeley FrameNet Project (BFN) is making an English lexical database called FrameNet, which describes syntactic and semantic properties of an English lexicon extracted from l...
115
click to vote
IADIS
2004
15 years 5 months ago
2004
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...