4485 search results - page 473 / 897 » Equivalences on Observable Processes |
233
click to vote
LOCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Location-based Services are emerging as popular applications in pervasive computing. Spatial k-anonymity is used in Locationbased Services to protect privacy, by hiding t...
156
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
To support human functioning, ambient intelligent agents require knowledge about the tasks executed by the human. This knowledge includes design-time information like: (i) the goa...
191
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider the problem of optimal control in continuous and partially observable environments when the parameters of the model are not known exactly. Partially Observable Mark...
206
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper considers the performance of the MAC protocols ALOHA and CSMA in wireless ad hoc networks, where the total system bandwidth may be divided into smaller subbands. In t...
165
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiple asynchronous clock domains have been increasingly employed in System-on-Chip (SoC) designs for different I/O interfaces. Functional validation is one of the most expensiv...