2478 search results - page 162 / 496 » Quadtrees as an Abstract Domain |
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Abstract- IMPrECISE is an XQuery module that adds probabilistic XML functionality to an existing XML DBMS, in our case MonetDBlXQuery. We demonstrate probabilistic XML and data int...
ALT
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. We give a lower bound for the error of any unitarily invariant algorithm learning half-spaces against the uniform or related distributions on the unit sphere. The bound i...
WISTP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. The distribution of virtual goods like multimedia data relies on the trustworthiness of the distribution system. Recent concepts for the distribution based on peer to pee...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
EUROMICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Service dependency management in serviceoriented component platforms is described with languages, which cannot be easily adapted to domain-specific requirements. This p...