2702 search results - page 456 / 541 » Practically Applicable Formal Methods |
VISUALIZATION
1996
IEEE
14 years 10 days ago
1996
IEEE
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...
ANTS
2006
Springer
13 years 12 months ago
2006
Springer
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...
EUSFLAT
2007
13 years 9 months ago
2007
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...
NIPS
2008
13 years 9 months ago
2008
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...
MEDINFO
2007
13 years 9 months ago
2007
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...