1913 search results - page 315 / 383 » Group Input Machine |
134
click to vote
ISTCS
1993
Springer
15 years 7 months ago
1993
Springer
We pursue a particular approach to analog computation, based on dynamical systems of the type used in neural networks research. Our systems have a xed structure, invariant in time...
131
click to vote
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
138
Voted
AIRS
2006
Springer
15 years 7 months ago
2006
Springer
One of the main challenges in content-based image retrieval still remains to bridge the gap between low-level features and semantic information. In this paper, we present our first...
146
click to vote
DAS
2006
Springer
15 years 6 months ago
2006
Springer
Handwritten essays are widely used in educational assessments, particularly in classroom instruction. This paper concerns the design of an automated system for performing the task ...
132
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...