Sciweavers

121 search results - page 16 / 25
» Using adaptive distinguishing sequences in checking sequence...
Sort
View
IJCAI
1997
15 years 2 months ago
Adaptive Goal Recognition
Because observing the same actions can warrant different conclusions depending on who executed the actions, a goal recognizer that works well on one person might not work well on ...
Neal Lesh
FORTE
2011
14 years 5 months ago
Analyzing BGP Instances in Maude
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Th...
ALMOB
2008
81views more  ALMOB 2008»
15 years 1 months ago
Stability of multiple alignments and phylogenetic trees: an analysis of ABC-transporter proteins family
Background: Sequence-based phylogeny reconstruction is a fundamental task in Bioinformatics. Practically all methods for phylogeny reconstruction are based on multiple alignments....
Holger Wagner, Burkhard Morgenstern, Andreas W. M....
AGTIVE
1999
Springer
15 years 5 months ago
Support for Design Patterns Through Graph Transformation Tools
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
Ansgar Radermacher
BMCBI
2010
118views more  BMCBI 2010»
15 years 1 months ago
From learning taxonomies to phylogenetic learning: Integration of 16S rRNA gene data into FAME-based bacterial classification
Background: Machine learning techniques have shown to improve bacterial species classification based on fatty acid methyl ester (FAME) data. Nonetheless, FAME analysis has a limit...
Bram Slabbinck, Willem Waegeman, Peter Dawyndt, Pa...