3573 search results - page 622 / 715 » Reasoning about Codata |
112
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
98
Voted
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Personal data is a valuable asset for service providers. To collect such data, free services are offered to users, for whom the risk of loosing privacy by subscribing to a servi...
91
Voted
IEEESCC
2009
IEEE
15 years 7 months ago
2009
IEEE
Finding relevant files in a personal file system continues to be a challenge. It is still easier to find stuff on the Web with its exponential growth than in one’s personal ...
130
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— A major barrier preventing the wide employment of mobile networks of robots in tasks such as exploration, mapping, surveillance, and environmental monitoring is the lack of ef...
136
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...