6562 search results - page 310 / 1313 » Noetherianity and Combination Problems |
183
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that inputs are generated randomly from a known class consist...
127
click to vote
CSUR
2000
15 years 6 months ago
2000
Not only the design of complex frameworks is hard, but also the reuse of such artefacts. Furthermore, the internal working of different frameworks is usually not compatible so that...
205
click to vote
TIP
2002
15 years 6 months ago
2002
We propose a new method for contour tracking in video. The inverted distance transform of the edge map is used as an edge indicator function for contour detection. Using the concep...
170
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
We describe the experience of using a combination of requirements engineering techniques (scenarios, storyboards, observation and workshops) in an escience application to develop ...
179
click to vote
JSC
2010
15 years 5 months ago
2010
The topic of this article is decision procedures for satisfiability modulo theories (SMT) of arbitrary quantifier-free formulæ. We propose an approach that decomposes the formu...