11374 search results - page 357 / 2275 » Demonstration of the CROSSMARC System |
166
click to vote
CAD
2006
Springer
15 years 7 months ago
2006
Springer
We present a parameter synthesis algorithm for planar, higher pair mechanical systems. The input is a parametric model of a mechanical system (part shapes and configurations) with...
184
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
This paper deals with orthogonal Space-Time Block Coded MC-CDMA systems, in outdoor realistic downlink scenarios with up to two transmit and receive antennas. Assuming no channel s...
211
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
218
click to vote
INFSOF
2008
15 years 7 months ago
2008
Recently, there has been plenty of interest in XML. Since the amount of data in XML format has rapidly increased, the need for effective storage and retrieval of XML data has aris...
197
click to vote
JCP
2008
15 years 7 months ago
2008
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...