5084 search results - page 198 / 1017 » Proving Possibility Properties |
155
Voted
AAI
2007
15 years 6 months ago
2007
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
159
click to vote
ENTCS
2008
15 years 6 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
169
click to vote
EOR
2007
15 years 6 months ago
2007
The aim of this work is to present a numerical measure of the importance of each player in a cooperative game when the cooperation possibilities are limited according to the links...
152
click to vote
COGSCI
2004
15 years 6 months ago
2004
of natural language syntax often characterize grammatical knowledge as a form of abstract computation. This paper argues that such a characterization is correct, and that fundamen...
156
click to vote
STOC
2003
ACM
16 years 6 months ago
2003
ACM
Let H be a fixed directed graph on h vertices, let G be a directed graph on n vertices and suppose that at least n2 edges have to be deleted from it to make it H-free. We show tha...