1614 search results - page 272 / 323 » Planning as Temporal Reasoning |
121
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
112
click to vote
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Continuing strides in processing, storage, sensing, and networking technologies are enabling people to capture their activities and experiences as greater volumes of ever-richer m...
127
click to vote
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Periodicity is useful for compact representation of periodic motion and a reasonable selection of a proper temporal scale for periodic motion analysis. In this paper, we concern t...
126
Voted
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
96
Voted
SP
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...