6597 search results - page 161 / 1320 » Orderings and Types in Databases |
JSCIC
2011
13 years 4 months ago
2011
Abstract The flux reconstruction approach to high-order methods is robust, efficient, simple to implement, and allows various high-order schemes, such as the nodal discontinuous ...
CADE
2005
Springer
14 years 9 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...
CVPR
2010
IEEE
13 years 9 months ago
2010
IEEE
We present a change detection method resistant to global and local illumination variations for use in visual surveillance scenarios. Approaches designed thus far for robustness to...
VIS
2006
IEEE
14 years 10 months ago
2006
IEEE
Accurately representing higher-order singularities of vector fields defined on piecewise linear surfaces is a non-trivial problem. In this work, we introduce a concise yet complet...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
In contrast with the current Web search methods that essentially do document-level ranking and retrieval, we are exploring a new paradigm to enable Web search at the object level....