1581 search results - page 154 / 317 » Mechanizing Inductive Reasoning |
128
click to vote
BROADNETS
2007
IEEE
16 years 23 days ago
2007
IEEE
—Current popular web-browsers simply fetch the entire web-page from the server in a greedy fashion. This simple web fetching mechanism employed by browsers is inappropriate for u...
147
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
146
click to vote
LPNMR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Most complete answer set solvers are based on DPLL. One of the constraint propagation methods is the so-called lookahead, which has been somewhat controversial, due to it...
163
click to vote
STORYTELLING
2007
Springer
16 years 15 days ago
2007
Springer
The proposal of this research project is to develop a standard connection mechanism to make narrative environments and the external systems that control them interoperable. Thanks ...
177
click to vote
CIMCA
2005
IEEE
16 years 1 days ago
2005
IEEE
Access control for shared resources is a complex and challenging task, in particular if the access control policy should be able to cope with different kind of sharing and collabo...