1456 search results - page 157 / 292 » An Overview of the SODA System |
171
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
192
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present an overview of the data collection and transcription efforts for the COnversational Speech In Noisy Environments (COSINE) corpus. The corpus is a set of multi-party con...
157
click to vote
OSS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract The reuse of Open Source Software components available on the Internet is playing a major role in the development of Component Based Software Systems. Nevertheless, the sp...
139
click to vote
SEMWEB
2009
Springer
16 years 27 days ago
2009
Springer
A semantic application typically is a heterogenous system of interconnected components, most notably a reasoner. OWLlink is an implementation-neutral protocol for communication bet...
188
click to vote
MMSP
2008
IEEE
16 years 23 days ago
2008
IEEE
—1 The composition of panoramic images has recently received considerable attention. While panoramic images were first used mainly as a flexible visualization technique, they a...