Sciweavers

846 search results - page 48 / 170
» The Use of Z
Sort
View
GEOS
2009
Springer
14 years 1 months ago
SPARQL Query Re-writing Using Partonomy Based Transformation Rules
Abstract. Often the information present in a spatial knowledge base is represented at a different level of granularity and abstraction than the query constraints. For querying onto...
Prateek Jain, Peter Z. Yeh, Kunal Verma, Cory A. H...
CHES
2006
Springer
117views Cryptology» more  CHES 2006»
14 years 24 days ago
High-Resolution Side-Channel Attack Using Phase-Based Waveform Matching
This paper describes high-resolution waveform matching based on a Phase-Only Correlation (POC) technique and its application for a side-channel attack. Such attacks, such as Simple...
Naofumi Homma, Sei Nagashima, Yuichi Imai, Takafum...
FGR
2004
IEEE
193views Biometrics» more  FGR 2004»
14 years 23 days ago
Face Recognition Using Ada-Boosted Gabor Features
Face representation based on Gabor features has attracted much attention and achieved great success in face recognition area for the advantages of the Gabor features. However, Gab...
Peng Yang, Shiguang Shan, Wen Gao, Stan Z. Li, Don...
CAV
2001
Springer
154views Hardware» more  CAV 2001»
14 years 21 days ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
TCS
2008
13 years 9 months ago
On the complexity of real root isolation using continued fractions
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
Elias P. Tsigaridas, Ioannis Z. Emiris