5243 search results - page 989 / 1049 » Reasoning About Strategies |
173
click to vote
PLDI
2009
ACM
16 years 26 days 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 ...
168
click to vote
CSE
2009
IEEE
16 years 25 days 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...
144
click to vote
IEEESCC
2009
IEEE
16 years 21 days 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 ...
194
click to vote
IROS
2009
IEEE
16 years 21 days 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...
183
click to vote
LICS
2009
IEEE
16 years 21 days 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 ...