2701 search results - page 144 / 541 » On the form of witness terms |
158
click to vote
BIRTHDAY
2007
Springer
16 years 20 days 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...
157
click to vote
DAGM
2007
Springer
16 years 20 days ago
2007
Springer
Tracking 3D objects from 2D image data often leads to jittery tracking results. In general, unsmooth motion is a sign of tracking errors, which, in the worst case, can cause the tr...
149
click to vote
DBPL
2007
Springer
16 years 20 days ago
2007
Springer
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
151
click to vote
EUROPAR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We investigate the following very simple load-balancing algorithm on the N-cycle (N even) which we call Odd-Even Transposition Balancing (OETB). The edges of the cycle ar...
159
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
We are developing an adaptive reminding system, which learns when and how to present notifications. In this paper, we focus on our XCS-based model, composed of two cascaded sets ...