16616 search results - page 6 / 3324 » Extending Extended Vacuity |
CADE
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
CORR
2012
Springer
12 years 6 months ago
2012
Springer
erate (Extended Abstract) Patrick Bindjeme1† and James Allen Fill1 1 Department of Applied Mathematics and Statistics, The Johns Hopkins University, 34th and Charles Streets, Bal...
DPHOTO
2009
13 years 8 months ago
2009
In this paper we present an approach to extend the Depth-of-Field (DoF) for cell phone miniature camera by concurrently optimizing optical system and post-capture digital processi...
IGARSS
2009
13 years 8 months ago
2009
It is proposed that the NDVI time series derived from MODIS multitemporal remote sensing data can be modelled as a triply (mean, phase and amplitude) modulated cosine function. A ...
AI
2011
Springer
13 years 6 months ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...