2702 search results - page 139 / 541 » Practically Applicable Formal Methods |
BMCBI
2011
14 years 1 months ago
2011
Background: Second generation sequencing technologies yield DNA sequence data at ultra high-throughput. Common to most biological applications is a mapping of the reads to an almo...
73
Voted
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
179
Voted
Book
"There is a very large literature on the theoretical underpinnings of the
wavelet transform. However, theory must be complemented with a significant
amount of practical work...
JUCS
2007
14 years 10 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...