3706 search results - page 51 / 742 » KtSeqC: System Description |
WISE
2009
Springer
15 years 7 months ago
2009
Springer
We present a system description for an archival information system with three different approaches to gain online access to digital archives created in the metadata standard Encod...
106
click to vote
ICALP
2011
Springer
14 years 1 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
101
click to vote
CADE
2008
Springer
14 years 11 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...