Sciweavers

11462 search results - page 1850 / 2293
» Developing Application-Centric Methods
Sort
View
ESA
2003
Springer
111views Algorithms» more  ESA 2003»
16 years 27 days ago
Fast Smallest-Enclosing-Ball Computation in High Dimensions
Abstract. We develop a simple combinatorial algorithm for computing the smallest enclosing ball of a set of points in high dimensional Euclidean space. The resulting code is in mos...
Kaspar Fischer, Bernd Gärtner, Martin Kutz
EUROCAST
2003
Springer
134views Hardware» more  EUROCAST 2003»
16 years 27 days ago
Volumetric Texture Description and Discriminant Feature Selection for MRI
This paper considers the problem of texture description and feature selection for the classification of tissues in 3D Magnetic Resonance data. Joint statistical measures like grey...
Abhir Bhalerao, Constantino Carlos Reyes-Aldasoro
EUROCAST
2003
Springer
154views Hardware» more  EUROCAST 2003»
16 years 27 days ago
Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System
In this paper we describe an adaptation method for adaptive hypermedia systems, consisting in personalized guided routes for the SEM-HP model. SEM-HP is a layered, systemic, semant...
Nuria Medina-Medina, Fernando Molina-Ortiz, Lina G...
EUROCRYPT
2003
Springer
16 years 27 days ago
Why Provable Security Matters?
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
Jacques Stern
FM
2003
Springer
108views Formal Methods» more  FM 2003»
16 years 26 days ago
Correctness of Source-Level Safety Policies
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
Ewen Denney, Bernd Fischer 0002
« Prev « First page 1850 / 2293 Last » Next »