1381 search results - page 155 / 277 » Computational Complexity of Constraint Satisfaction |
166
click to vote
ICIP
2005
IEEE
15 years 12 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 ...
159
click to vote
CGF
2005
15 years 6 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...
189
click to vote
SIGGRAPH
1995
ACM
15 years 10 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...
199
click to vote
ACL
2009
15 years 4 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...
197
click to vote
FOSSACS
2010
Springer
16 years 1 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...