6456 search results - page 1176 / 1292 » Constraint Solving on Terms |
153
Voted
COLT
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we study a paradigm to generalize online classification algorithms for binary classification problems to multiclass problems. The particular hypotheses we investig...
157
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
Minimizing power consumption is of paramount importance during the design of embedded (mobile computing) systems that come as systems-ona-chip, since interdependencies of design c...
187
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
160
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Typically, temporal validity of real-time data is maintained by periodic update transactions. In this paper, we examine the problem of period and deadline assignment for these upda...
157
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...