Sciweavers

4581 search results - page 77 / 917
» Computing Transformation Semigroups
Sort
View
111
Voted
BIRTHDAY
1994
Springer
15 years 6 months ago
Generalizing Cook's Transformation to Imperative Stack Programs
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
Nils Andersen, Neil D. Jones
119
Voted
ATAL
2006
Springer
15 years 6 months ago
Action awareness: enabling agents to optimize, transform, and coordinate plans
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...
Freek Stulp, Michael Beetz
EUROPAR
2010
Springer
15 years 3 months ago
Multithreaded Geant4: Semi-automatic Transformation into Scalable Thread-Parallel Software
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
Xin Dong 0004, Gene Cooperman, John Apostolakis
IPPS
2010
IEEE
15 years 10 days ago
Exploring parallelism in short sequence mapping using Burrows-Wheeler Transform
Next-generation high throughput sequencing instruments are capable of generating hundreds of millions of reads in a single run. Mapping those reads to a reference genome is an ext...
Doruk Bozdag, Ayat Hatem, Ümit V. Çata...
ICPR
2000
IEEE
16 years 3 months ago
Precise Hand-printed Character Recognition Using Elastic Models via Nonlinear Transformation
Distorted character recognition is a difficult but inevitable problem in hand-printed character recognition. In this paper, we propose a character recognition method using elastic...
Tsuyoshi Kato, Shinichiro Omachi, Hirotomo Aso