1381 search results - page 155 / 277 » Computational Complexity of Constraint Satisfaction |
127
click to vote
ICIP
2005
IEEE
15 years 9 months ago
2005
IEEE
Multimedia streaming is one of the most attractive services over the Internet, for which bandwidth is a primary constraint. For live streaming, however, the computational resource ...
132
click to vote
CGF
2005
15 years 4 months ago
2005
This paper addresses the problem of human motion encoding for real-time animation in interactive environments. Classically, a motion is stored as a sequence of body postures encod...
157
click to vote
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we describe a new tool for interactive free-form fair surface design. By generalizing classical discrete Fourier analysis to two-dimensional discrete surface signals...
162
click to vote
ACL
2009
15 years 1 months ago
2009
Recently, there is a growing interest in working with tree-structured data in different applications and domains such as computational biology and natural language processing. Mor...
155
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...