2032 search results - page 168 / 407 » Encodings of the Sequence Constraint |
154
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper addresses the problem of low-latency robust video delivery over packet networks characterized by a bursty loss process. We propose a joint source-channel coding based v...
163
click to vote
IROS
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— We describe a model for planar distributed assembly, in which agents move randomly and independently on a twodimensional grid, joining square blocks together to form a ...
172
click to vote
ICLP
2005
Springer
16 years 4 hour ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
172
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
171
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...