8917 search results - page 206 / 1784 » Abstraction in Algorithm Animation |
155
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a prototype that helps visualizing the relative importance of sentences extracted from medical texts using Embodied Conversational Agents (ECA). We propo...
113
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The accurate prediction of a comprehensive set of messenger RNAs (targets) regulated by animal microRNAs (miRNAs) remains an open problem. In particular, the predictio...
135
click to vote
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract Parallel algorithms for the approximation of a multi-dimensional integral over an hyper-rectangular region are discussed. Algorithms based on quasi-Monte Carlo techniques ...
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
140
click to vote
SYNASC
2008
IEEE
15 years 9 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...