4325 search results - page 183 / 865 » Incremental computation with names |
185
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
142
click to vote
CONCUR
1995
Springer
15 years 10 months ago
1995
Springer
We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...
213
click to vote
ACL
2009
15 years 4 months ago
2009
Searching for a person name in a Web Search Engine usually leads to a number of web pages that refer to several people sharing the same name. In this paper we study whether it is ...
162
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Programmers and users of compute intensive scientific applications often do not want to (or even cannot) code load balancing and fault tolerance into their programs. The PBEAM syst...
194
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Object tracking is viewed as a two-class 'one-versusrest' classification problem, in which the sample distribution of the target is approximately Gaussian while the back...