10910 search results - page 1836 / 2182 » Input modeling using a computer algebra system |
158
click to vote
ISMB
1994
15 years 8 months ago
1994
Weare developing a laboratory notebook system knownas the Genetics Deductive Database. Currently our prototype provides storage for biological facts andrules withflexible accessvi...
178
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
166
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
174
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We investigate various ways of generating prosodic syllable contour features that have recently been applied to enhance systems for speaker recognition. We compare different appro...
171
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a global optimization operator for arbitrary meshes. The global optimization operator is composed of two main terms, one part is the global Laplacian operator ...