Sciweavers

1399 search results - page 133 / 280
» Multi-party Finite Computations
Sort
View
TSMC
2008
93views more  TSMC 2008»
15 years 4 months ago
Selection of DNA Markers
Given a genome, i.e., a long string over a fixed finite alphabet, the problem is to find short (dis)similar substrings. This computationally intensive task has many biological appl...
Hendrik Jan Hoogeboom, Walter A. Kosters, Jeroen F...
MICCAI
2010
Springer
15 years 2 months ago
Fast Ultrasound Image Simulation Using the Westervelt Equation
Abstract. The simulation of ultrasound wave propagation is of high interest in fields as ultrasound system development and therapeutic ultrasound. From a computational point of vi...
Athanasios Karamalis, Wolfgang Wein, Nassir Navab
PAAMS
2010
Springer
15 years 1 months ago
A Case Study on Grammatical-Based Representation for Regular Expression Evolution
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
Antonio González-Pardo, David F. Barrero, D...
RP
2010
Springer
118views Control Systems» more  RP 2010»
15 years 1 months ago
Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA
Chrobak (1986) proved that a language accepted by a given nondeterministic finite automaton with one-letter alphabet, i.e., a unary NFA, with n states can be represented as the uni...
Zdenek Sawa
JUCS
2008
140views more  JUCS 2008»
15 years 4 months ago
The Computable Multi-Functions on Multi-represented Sets are Closed under Programming
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
Klaus Weihrauch