Sciweavers

3273 search results - page 397 / 655
» types 2007
Sort
View
MLMTA
2003
15 years 8 months ago
Improved Experimental Results Using Fuzzy Lattice Neurocomputing (FLN) Classifiers
— This work shows comparatively the capacity of five Fuzzy Lattice Neurocomputing (FLN) classifiers. The mechanics of the five classifiers are illustrated geometrically on the pl...
Al Cripps, Vassilis G. Kaburlasos, Nghiep Nguyen, ...
NAACL
2003
15 years 8 months ago
An Analysis of Clarification Dialogue for Question Answering
We examine clarification dialogue, a mechanism for refining user questions with follow-up questions, in the context of open domain Question Answering systems. We develop an algori...
Marco De Boni, Suresh Manandhar
FORTE
1994
15 years 8 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
BCSHCI
2009
15 years 7 months ago
An exploratory study of tag-based visual interfaces for searching folksonomies
Aesthetic features such as animation, 3D interaction, and visual metaphors are becoming commonplace in multimedia search interfaces. However, it is unclear which attributes are ne...
Javier Diaz, Keyun Hu, Melanie Tory
BMCBI
2007
117views more  BMCBI 2007»
15 years 6 months ago
Influence of degree correlations on network structure and stability in protein-protein interaction networks
Background: The existence of negative correlations between degrees of interacting proteins is being discussed since such negative degree correlations were found for the large-scal...
Caroline C. Friedel, Ralf Zimmer