1456 search results - page 157 / 292 » An Overview of the SODA System |
188
Voted
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...
211
Voted
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...
176
Voted
OSS
2009
Springer
16 years 1 months 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...
147
Voted
SEMWEB
2009
Springer
16 years 1 months 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...
205
click to vote
MMSP
2008
IEEE
16 years 1 months 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...