1176 search results - page 14 / 236 » Implicit Abstraction Heuristics |
ISAAC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper we present an implicit dictionary with the working set property i.e. a dictionary supporting insert(e), delete(x) and predecessor(x) in O(log n) time and se...
ACIVS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper presents a novel approach for estimating the geometric distance from a given point to the corresponding implicit quadric curve/surface. The proposed estimation...
MICCAI
2003
Springer
14 years 10 months ago
2003
Springer
Abstract. Knowledge of brain aneurysm dimensions is essential in minimally invasive surgical interventions using Guglielmi Detachable Coils. These parameters are obtained in clinic...
ICCD
2006
IEEE
14 years 6 months ago
2006
IEEE
Abstract— In this paper, we introduce a novel preimage computation technique that directly computes the circuit cofactors without an explicit search for any satisfiable solution...
ICDT
2007
ACM
14 years 4 months ago
2007
ACM
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...