3335 search results - page 363 / 667 » Grid result checking |
248
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
133
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses...
163
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
160
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a distributed 3D dynamic mesh coding system. The system is based on Slepian and Wolf’s and Wyner and Ziv’s information-theoretic results. Our system ...
165
click to vote
ICMCS
2007
IEEE
16 years 29 days ago
2007
IEEE
Roles in a movie form a small society and their interrelationship provides clues for movie understanding. Based on this observation, we present a new viewpoint to perform semantic...