2043 search results - page 120 / 409 » Some Basics on Tolerances |
183
click to vote
IWANN
1993
Springer
15 years 10 months ago
1993
Springer
Over the past decade a large variety of hardware has been designed to exploit the inherent parallelism of the artificial neural network models. This paper presents an overview of ...
121
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
In microarchitecure synthesis, early algorithms considered only a single implementation technique for IF -statements. Focus was on scheduling and on maximum hardware sharing. In t...
137
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
148
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
144
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properti...