3591 search results - page 277 / 719 » Typing linear constraints |
180
click to vote
PPDP
2005
Springer
16 years 23 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
210
click to vote
CVPR
1999
IEEE
16 years 9 months ago
1999
IEEE
Traditional plane alignment techniques are typically performed between pairs of frames. In this paper we present a method for extending existing two-frame planar-motion estimation...
175
click to vote
HICSS
2002
IEEE
16 years 7 days ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
180
Voted
IMA
2001
Springer
15 years 11 months ago
2001
Springer
Standard runlength-limiting codes – nonlinear codes defined by trellises – have the disadvantage that they disconnect the outer errorcorrecting code from the bit-by-bit likeli...
181
click to vote
WADS
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we consider the problem of nding a core of limited length in a tree. A core is a path, which minimizes the sum of the distances to all nodes in the tree. This proble...