898 search results - page 49 / 180 » A Linear Tabling Mechanism |
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
In this paper we consider the problem of temporal texture modeling and synthesis. A temporal texture (or dynamic texture) is seen as the output of a dynamical system driven by whit...
COLT
2008
Springer
13 years 9 months ago
2008
Springer
Boosting algorithms build highly accurate prediction mechanisms from a collection of lowaccuracy predictors. To do so, they employ the notion of weak-learnability. The starting po...
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
CDC
2009
IEEE
14 years 13 days ago
2009
IEEE
Abstract— This paper studies linear switched differential algebraic equations (DAEs), i.e., systems defined by a finite family of linear DAE subsystems and a switching signal t...
ENTCS
2006
13 years 7 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...