1690 search results - page 282 / 338 » Algorithmic Properties of Millstream Systems |
71
Voted
VIP
2001
15 years 2 months ago
2001
Spiral Architecture is a relatively new and powerful approach to general purpose machine vision system. It contains very useful geometric and algebraic properties. Two algebraic o...
100
click to vote
WCE
2007
15 years 1 months ago
2007
— The paper deals with the design and realization of a secure multicarrier modem on FPGA. The crypto-modem principle is adopted. An encryption block is integrated in the modem tr...
107
Voted
ENTCS
2010
15 years 25 days ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
100
Voted
ENTCS
2008
15 years 25 days ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
124
click to vote
CONNECTION
2004
15 years 18 days ago
2004
The Artificial Life approach to Evolutionary Robotics is used as a fundamental framework for the development of a modular neural control of autonomous mobile robots. The applied e...