Sciweavers

2702 search results - page 456 / 541
» Practically Applicable Formal Methods
Sort
View
VISUALIZATION
1996
IEEE
15 years 6 months ago
Illustrating Transparent Surfaces with Curvature-Directed Strokes
Transparency can be a useful device for simultaneously depicting multiple superimposed layers of information in a single image. However, in computer-generated pictures -as in phot...
Victoria Interrante, Henry Fuchs, Stephen M. Pizer
103
Voted
ANTS
2006
Springer
78views Algorithms» more  ANTS 2006»
15 years 6 months ago
Hidden Pairings and Trapdoor DDH Groups
This paper suggests a new building block for cryptographic protocols and gives two instantiations of it. The concept is to generate two descriptions of the same group: a public des...
Alexander W. Dent, Steven D. Galbraith
EUSFLAT
2007
161views Fuzzy Logic» more  EUSFLAT 2007»
15 years 3 months ago
On Additive and Multiplicative Fuzzy Models
Systems which use a fuzzy rule base and an inference mechanisms are quite frequently used in many applications. Fuzzy rules and inference mechanisms can be described by a system o...
Martin Stepnicka, Bernard De Baets, Lenka Noskov&a...
128
Voted
NIPS
2008
15 years 3 months ago
Spectral Clustering with Perturbed Data
Spectral clustering is useful for a wide-ranging set of applications in areas such as biological data analysis, image processing and data mining. However, the computational and/or...
Ling Huang, Donghui Yan, Michael I. Jordan, Nina T...
109
Voted
MEDINFO
2007
175views Healthcare» more  MEDINFO 2007»
15 years 3 months ago
Reconciliation of Ontology and Terminology to Cope with Linguistics
Objectives: To discuss the relationships between ontologies, terminologies and language in the context of Natural Language Processing (NLP) applications in order to show the negat...
Robert H. Baud, Werner Ceusters, Patrick Ruch, Ann...