1747 search results - page 153 / 350 » Long Range Dependence |
170
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
158
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
121
click to vote
SAMOS
2007
Springer
16 years 20 days ago
2007
Springer
—This paper describes the design of a programmable coprocessor for Public Key Cryptography (PKC) on an FPGA. The implementation provides a very broad range of functions together ...
163
click to vote
GLOBECOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— Global flooding and expanding ring search are two commonly used methods in search for an interested object in multi-hop wireless networks. While global flooding is simple, it...
146
click to vote
IROS
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— This article presents the development of a humanrobot interaction mechanism based on vision. The functionalities required for such mechanism range from user detection a...