1346 search results - page 17 / 270 » On the number of rectangular partitions |
HYBRID
2003
Springer
13 years 12 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
ICASSP
2009
IEEE
13 years 10 months ago
2009
IEEE
Abstract-- Frequency invariant beamforming with sensor arrays is generally achieved using filters in the form of tapped delay-lines following each sensor. However it has been recen...
FLAIRS
2004
13 years 8 months ago
2004
A methodology for surveillance of multiple targets through a distributed mobile sensor network is proposed in this paper. We examine coordination among sensors that monitor a rect...
CODES
2010
IEEE
13 years 4 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...
FCT
2005
Springer
14 years 8 days ago
2005
Springer
A partitioning of a set of n items is a grouping of these items into k disjoint, equally sized classes. Any partition can be modeled as a graph. The items become the vertices of th...