4117 search results - page 529 / 824 » On the Satisfiability of Complex Constraints |
191
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include the computational complexity of feature extracti...
150
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
Automatic classification of web pages is an effective way to deal with the difficulty of retrieving information from the Internet. Although there are many automatic classification...
163
click to vote
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
This paper studies under what conditions congestion control schemes can be both efficient, so that capacity is not wasted, and incentive compatible, so that each participant can m...
204
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
191
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...