2018 search results - page 81 / 404 » Code Normal Forms |
IJCAI
2001
15 years 3 months ago
2001
The traditional representations of games using the extensive form or the strategic (normal) form obscure much of the structure that is present in real-world games. In this paper, ...
IGPL
2007
15 years 2 months ago
2007
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
136
click to vote
IGPL
2007
15 years 2 months ago
2007
We discuss the question of inclusions between positive relational terms and some of its aspects, using the form of a dialogue. Two possible approaches to the problem are emphasize...
137
click to vote
ACCV
2007
Springer
15 years 6 months ago
2007
Springer
Normalized Cuts has successfully been applied to a wide range of tasks in computer vision, it is indisputably one of the most popular segmentation algorithms in use today. A number...
112
Voted
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
We introduce a new method for detecting intrusions based on the temporal behavior of applications. It builds on an existing method of application intrusion detection developed at ...