8582 search results - page 75 / 1717 » Here or There |
CEC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
ICRA
2008
IEEE
14 years 5 months ago
2008
IEEE
— Selective data return leverages onboard data analysis to allocate limited bandwidth resources during remote exploration. Here we present an adaptive method to subsample image s...
ICRA
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— Self-assembly is a process through which an organized structure can spontaneously form from simple parts. Taking inspiration from biological examples of self-assembly, ...
ISCAS
2008
IEEE
14 years 5 months ago
2008
IEEE
— A precision integrated bandgap voltage reference in 0.35μm CMOS technology is here presented. The circuit uses natural npn bipolar transistors as reference diodes. A particula...
VTC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— High Speed Packet Access (HSPA), the latest evolution of the Wideband Code Division Multiple Access (WCDMA) standard, provides higher uplink data rates using higher-ord...