Sciweavers

6047 search results - page 61 / 1210
» A Scenario Construction Process
Sort
View
TACAS
2007
Springer
144views Algorithms» more  TACAS 2007»
15 years 4 months ago
Detecting Races in Ensembles of Message Sequence Charts
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
Edith Elkind, Blaise Genest, Doron Peled
WABI
2007
Springer
110views Bioinformatics» more  WABI 2007»
15 years 4 months ago
Haplotype Inference Via Hierarchical Genotype Parsing
The within-species genetic variation due to recombinations leads to a mosaic-like structure of DNA. This structure can be modeled, e.g. by parsing sample sequences of current DNA w...
Pasi Rastas, Esko Ukkonen
WISE
2002
Springer
15 years 3 months ago
Taxonomies in Operation, Design, and Meta-Design
Taxonomies are a well-established instrument for organizing and accessing resources in Information, Content and Knowledge Management (ICKM) systems. Furthermore, they contribute t...
Claudia Niederée, Claudio Muscogiuri, Matth...
LREC
2010
225views Education» more  LREC 2010»
15 years 2 days ago
The Architecture of FunGramKB
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...
Carlos Periñán-Pascual, Francisco Ar...
VTC
2007
IEEE
15 years 4 months ago
MMSE Based Interference Processing For Satellite Broadcast Reception
—The problem of Adjacent Satellite Interference (ACI) within the Direct-To-Home (DTH) satellite broadcast reception scenario is considered. The use of small DTH frontend receptio...
Klaus Schwarzenbarth, Joel Grotz, Björn E. Ot...