Sciweavers

1236 search results - page 217 / 248
» Prefix-Like Complexities and Computability in the Limit
Sort
View
CHINZ
2005
ACM
14 years 11 months ago
Graphical abstract help
re the use of abstracted screenshots as part of a new help interface. Graphstract, an implementation of a graphical help system, extends the ideas of textually oriented Minimal Ma...
Jeff Huang, Bo Lu, Michael B. Twidale
APBC
2004
117views Bioinformatics» more  APBC 2004»
14 years 11 months ago
Detecting Local Symmetry Axis in 3-dimensional Virus Structures
This paper presents an efficient computational method to identify a local symmetry axis in 3-dimensional viral structures obtained using electron cryomicroscopy. Local symmetry is...
Jing He, Desh Ranjan, Wen Jiang, Wah Chiu, Michael...
CLA
2004
14 years 11 months ago
Using Concept Formal Analysis for Cooperative Information Retrieval
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
Ibtissem Nafkha, Samir Elloumi, Ali Jaoua
FLAIRS
2006
14 years 11 months ago
GFAM: Evolving Fuzzy ARTMAP Neural Networks
Fuzzy ARTMAP (FAM) is one of the best neural network architectures in solving classification problems. One of the limitations of Fuzzy ARTMAP that has been extensively reported in...
Ahmad Al-Daraiseh, Michael Georgiopoulos, Annie S....
NSDI
2004
14 years 11 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler