9730 search results - page 303 / 1946 » Relating models of backtracking |
151
click to vote
ARGMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
124
click to vote
ISMIS
2005
Springer
15 years 10 months ago
2005
Springer
Being a good entry page to a Web site reflects how well the page enables a user to obtain optimal access, by browsing, to relevant and quality pages within the site. Our aim is to...
143
Voted
MMMACNS
2005
Springer
15 years 10 months ago
2005
Springer
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...
145
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we evaluate two methods for key estimation from polyphonic audio recordings. Our goal is to compare between a strategy using a cognition-inspired model and several m...
140
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...