3552 search results - page 528 / 711 » Proof theory in the abstract |
203
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Wireless topology control is the process of structuring the connectivity between network nodes to achieve some network-wide goal. This paper presents a cognitive networ...
167
click to vote
ICNSC
2007
IEEE
16 years 26 days ago
2007
IEEE
—This paper studies the problem of understanding noisy and structurally deformed two-dimensional images by means of abstractly defined neural works. First, in the framework of sy...
155
click to vote
INFOCOM
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract—It is often claimed that future systems will necessarily be all-optical, because electronic devices are not fast enough to keep up with the increase in fiber capacity. ...
117
click to vote
ISCAS
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— This paper presents a new analysis of power complementary analog filters using the state-space representation. Our analysis is based on the bounded-real Riccati equati...
194
click to vote
SEFM
2007
IEEE
16 years 25 days ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...