Sciweavers

5726 search results - page 361 / 1146
» Supporting annotations on relations
Sort
View
SLE
2009
Springer
16 years 1 months ago
Declarative Scripting in Haskell
We present a domain-specific language embedded within the Haskell programming language to build scripts in a declarative and typesafe manner. We can categorize script components i...
Tim Bauer, Martin Erwig
AIME
2007
Springer
16 years 26 days ago
A Human-Machine Cooperative Approach for Time Series Data Interpretation
Abstract. This paper deals with the interpretation of biomedical multivariate time series for extracting typical scenarios. This task is known to be difficult, due to the temporal ...
Thomas Guyet, Catherine Garbay, Michel Dojat
CIE
2007
Springer
16 years 25 days ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
IWIC
2007
Springer
16 years 24 days ago
Exploiting Aligned Parallel Corpora in Multilingual Studies and Applications
Parallel corpora encode extremely valuable linguistic knowledge, the revealing of which is facilitated by the recent advances in multilingual corpus linguistics. The linguistic dec...
Dan Tufis
MCAM
2007
Springer
188views Multimedia» more  MCAM 2007»
16 years 24 days ago
Searching One Billion Web Images by Content: Challenges and Opportunities
Although content-based image retrieval has been studied for decades, most commercial image search engines are still text-based. However, there is a growing demand for techniques to...
Zhiwei Li, Xing Xie, Lei Zhang, Wei-Ying Ma