1346 search results - page 240 / 270 » Alternating-time dynamic logic |
126
click to vote
AAAI
2010
15 years 3 months ago
2010
Recent research has shown that surprisingly rich models of human behavior can be learned from GPS (positional) data. However, most research to date has concentrated on modeling si...
118
click to vote
IJCAI
2003
15 years 3 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
107
Voted
IJCAI
1993
15 years 3 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
144
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
123
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...