1712 search results - page 294 / 343 » Abstract Constraint Data Types |
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
ISNN
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Artificial Neural Networks (ANNs) and image processing requires massively parallel computation of simple operator accompanied by heavy memory access. Thus, this type of ...
101
click to vote
WABI
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Traditional sequence comparison by alignment applies a mutation model comprising two events, substitutions and indels (insertions or deletions) of single positions (SI). ...
112
click to vote
ITS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a design context. Our current research focuses on the hypothesis tha...
PATMOS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Crosstalk causes logical errors due to data dependent delay degradation as well as energy consumption and is considered the biggest signal integrity challenge for long on...