11066 search results - page 1760 / 2214 » Linearity in Process Languages |
188
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
200
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...
183
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
In this work, we attempt to tackle domain-transfer problem by combining old-domain labeled examples with new-domain unlabeled ones. The basic idea is to use old-domain-trained cla...
211
click to vote
CLEF
2007
Springer
16 years 1 months ago
2007
Springer
This paper discusses our system’s results at the Spanish Question Answering task of CLEF 2007. Our system is centered in a full data-driven approach that combines information ret...
158
Voted
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
Recently can be observed a growing interest in the effects of music on humans. Music has been called a food or a multi-sensory fitness of the brain. Many studies have already confi...