769 search results - page 96 / 154 » Is Logic all in our Heads |
103
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
92
Voted
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
107
click to vote
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
95
Voted
FPGA
2005
ACM
15 years 6 months ago
2005
ACM
Vdd-programmable FPGAs have been proposed recently to reduce FPGA power, where Vdd levels can be customized for different circuit elements and unused circuit elements can be powe...
104
click to vote
FCCM
2003
IEEE
15 years 6 months ago
2003
IEEE
Most commercial and academic floating point libraries for FPGAs provide only a small fraction of all possible floating point units. In contrast, the floating point unit generat...