1943 search results - page 200 / 389 » Ordering Default Theories |
183
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
181
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
190
click to vote
EDUTAINMENT
2007
Springer
16 years 1 months ago
2007
Springer
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...
174
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
211
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...