3928 search results - page 372 / 786 » order 2006 |
187
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
192
click to vote
DAGM
2006
Springer
15 years 9 months ago
2006
Springer
We present a variational approach to motion estimation of instationary fluid flows. Our approach extends prior work along two directions: (i) The full incompressible Navier-Stokes ...
232
click to vote
ECML
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a decomposition method for efficiently constructing 1-norm Support Vector Machines (SVMs). The decomposition algorithm introduced in this paper possesses many d...
228
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
211
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...