8825 search results - page 1496 / 1765 » All for one or one for all |
119
click to vote
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
In a world of wide-scale information sharing, the decentralized coordination has to consolidate a variety of heterogeneity. Shared data are described in different formats, i.e. da...
122
click to vote
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
130
click to vote
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
Detecting objects, estimating their pose and recovering 3D shape information is a critical problem in many vision and robotics applications. This paper addresses the above needs by...
123
click to vote
MOBISYS
2010
ACM
15 years 3 months ago
2010
ACM
WiFi radios in smart-phones consume a significant amount of power when active. The 802.11 standard allows these devices to save power through an energy-conserving Power Save Mode ...
115
click to vote
FLAIRS
2007
15 years 3 months ago
2007
A low-effort data mining approach to labeling network event records in a WLAN is proposed. The problem being addressed is often observed in an AI and data mining strategy to netwo...