Sciweavers

1128 search results - page 160 / 226
» Classical Natural Deduction
Sort
View
103
Voted
FDTC
2006
Springer
102views Cryptology» more  FDTC 2006»
15 years 4 months ago
Cryptographic Key Reliable Lifetimes: Bounding the Risk of Key Exposure in the Presence of Faults
With physical attacks threatening the security of current cryptographic schemes, no security policy can be developed without taking into account the physical nature of computation....
Alfonso De Gregorio
AIIA
2003
Springer
15 years 4 months ago
A Neural Architecture for Segmentation and Modelling of Range Data
A novel, two stage, neural architecture for the segmentation of range data and their modeling with undeformed superquadrics is presented. The system is composed by two distinct neu...
Roberto Pirrone, Antonio Chella
92
Voted
KR
2000
Springer
15 years 4 months ago
A Logic Based Language for Parametric Inheritance
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
Hasan M. Jamil
135
Voted
VISUAL
2000
Springer
15 years 4 months ago
Wavelet-Based Salient Points: Applications to Image Retrieval Using Color and Texture Features
In image retrieval, global features related to color or texture are commonly used to describe the image. The use of interest points in contentbased image retrieval allows image ind...
Etienne Loupias, Nicu Sebe
ICCV
1995
IEEE
15 years 4 months ago
Geodesic Active Contours
A novel scheme for the detection of object boundaries is presented. The technique is based on active contours evolving in time according to intrinsic geometric measures of the imag...
Vicent Caselles, Ron Kimmel, Guillermo Sapiro