Sciweavers

373 search results - page 8 / 75
» Abstract Geometrical Computation for Black Hole Computation
Sort
View
IJMMS
2006
108views more  IJMMS 2006»
13 years 7 months ago
Computational modeling and experimental investigation of effects of compositional elements on interface and design aesthetics
This article describes computational modeling and two corresponding experimental investigations of the effects of symmetry, balance and quantity of construction elements on interf...
Michael Bauerly, Yili Liu
ICPR
2008
IEEE
14 years 8 months ago
Histogram of radon transform. A useful descriptor for shape retrieval
In this paper we present a new descriptor based on the Radon transform. We propose a histogram of the Radon transform, called HRT, which is invariant to common geometrical transfo...
Salvatore Tabbone, Oriol Ramos Terrades, Sabine Ba...
ADG
2006
Springer
177views Mathematics» more  ADG 2006»
14 years 1 months ago
Recognition of Computationally Constructed Loci
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
Peter Lebmeir, Jürgen Richter-Gebert
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 23 days ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
ASIACRYPT
2008
Springer
13 years 9 months ago
Sufficient Conditions for Intractability over Black-Box Groups: Generic Lower Bounds for Generalized DL and DH Problems
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
Andy Rupp, Gregor Leander, Endre Bangerter, Alexan...