5608 search results - page 311 / 1122 » Structure description tools |
146
click to vote
INFOCOM
1998
IEEE
15 years 9 months ago
1998
IEEE
: This paper presents a demand-based engineering method for designing radio networks of cellularmobile communicationsystems. The proposed procedure is based on a forward-engineerin...
130
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
203
click to vote
IBPRIA
2007
Springer
15 years 6 months ago
2007
Springer
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
137
click to vote
ERSA
2007
15 years 6 months ago
2007
This paper describes a proof-of-concept implementation of a basic autonomous computing system. The system consists of an XUP Virtex-II Pro board running Linux and a set of softwar...
132
click to vote
ICALT
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper introduces a Web-based tool that has been developed to facilitate learning object annotation in agricultural learning repositories with IEEE LOM-compliant metadata. Mor...