5255 search results - page 908 / 1051 » Formal Methods for Privacy |
125
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— While the practical coding scheme [1] has been shown to be able to improve throughput of wireless networks, there still lacks fundamental understanding on how the coding scheme...
124
Voted
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
149
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
103
Voted
IWPC
2008
IEEE
15 years 10 months ago
2008
IEEE
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...
144
Voted
CIDM
2007
IEEE
15 years 10 months ago
2007
IEEE
— In recent applications of clustering such as gene expression microarray analysis, collaborative filtering, and web mining, object similarity is no longer measured by physical ...