1895 search results - page 15 / 379 » Modular Functional Descriptions |
FTRTFT
1998
Springer
13 years 12 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
ISSAC
2004
Springer
14 years 1 months ago
2004
Springer
Let L be an algebraic function field in k ≥ 0 parameters t1, . . . , tk. Let f1, f2 be non-zero polynomials in L[x]. We give two algorithms for computing their gcd. The first,...
ROBOCUP
2001
Springer
14 years 1 days ago
2001
Springer
This article introduces our research efforts to build the Essex Rovers’01 robot soccer team participated in the RoboCup-2001 competition. A modular design for implementing a beh...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
Garbled circuits play a key role in secure computation. Unlike previous work, which focused mainly on efficiency and automation aspects of secure computation, in this paper we foc...
CONNECTION
2004
13 years 7 months 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...