607 search results - page 99 / 122 » Unifying Exact Completions |
82
Voted
ECCV
2006
Springer
16 years 22 days ago
2006
Springer
We present a unified framework for separating specular and diffuse reflection components in images and videos of textured scenes. This can be used for specularity removal and for i...
186
click to vote
ICDE
2008
IEEE
16 years 6 days ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
180
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
103
Voted
CADE
2005
Springer
15 years 11 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
148
click to vote
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...