1686 search results - page 94 / 338 » Higher Order Deforestation |
252
click to vote
EMMCVPR
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We follow recent work by Schoenemann et al. [25] for expressing curvature regularity as a linear program. While the original formulation focused on binary segmentation, w...
151
click to vote
LISP
2006
15 years 4 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
130
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
The importance of the order two Markovian arrival process (MAP(2)) comes from its compactness, serving either as arrival or service process in applications, and from the nice prope...
117
click to vote
ENTCS
2007
15 years 4 months ago
2007
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, no...
119
click to vote
TARK
1998
Springer
15 years 8 months ago
1998
Springer
We develop a revealed-preferencetheory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by D...