Sciweavers

778 search results - page 99 / 156
» Text Adaptation Using Formal Concept Analysis
Sort
View
SIGSOFT
2010
ACM
14 years 9 months ago
Differential static analysis: opportunities, applications, and challenges
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
JUCS
2006
141views more  JUCS 2006»
14 years 11 months ago
Constraint Based Methods for Biological Sequence Analysis
: The need for processing biological information is rapidly growing, owing to the masses of new information in digital form being produced at this time. Old methodologies for proce...
Maryam Bavarian, Verónica Dahl
EUSFLAT
2003
122views Fuzzy Logic» more  EUSFLAT 2003»
15 years 1 months ago
Structure recognition on sequences with a neuro-fuzzy-system
We present a formal description of a neurofuzzy system capable of aligning two sequences recognizing their internal structure. The alignment is done on two levels: grouping of the...
Klaus Dalinghaus, Tillman Weyde
INFSOF
2002
65views more  INFSOF 2002»
14 years 11 months ago
The documentary structure of source code
Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...
Michael L. Van de Vanter
AIED
2005
Springer
15 years 5 months ago
The Use of Qualitative Reasoning Models of Interactions between Populations to Support Causal Reasoning of Deaf Students
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
Paulo Salles, Heloisa Lima-Salles, Bert Bredeweg