2956 search results - page 213 / 592 » Databases and Higher Types |
114
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
117
Voted
WCW
2004
Springer
15 years 8 months ago
2004
Springer
News on demand features user interaction, interdependent media and is used by different client types. These requirements are not yet accommodated by a single solution. We address ...
128
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
A format-driven word recognition system is proposed for recognition of handwritten words. Unlike most traditional handwritten word recognizers being given a set of target words as...
119
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
110
click to vote
ECAL
2001
Springer
15 years 8 months ago
2001
Springer
We investigate the possible organisations emerging from an artificial chemistry (AC) of colliding molecules in a well stirred reactor. The molecules are generated from 7 basic comp...