5216 search results - page 452 / 1044 » Planning as Model Checking |
183
click to vote
TCIAIG
2010
15 years 1 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
186
click to vote
AAAI
2012
13 years 9 months ago
2012
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic...
152
click to vote
AAAI
1990
15 years 8 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
174
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Over the last years the telecommunications industry has shifted from technology driven and incumbent operators to business driven service providers. There is a need for mature, c...
176
click to vote
JUCS
2008
15 years 6 months ago
2008
: This article provides a comparison among different methods for estimating the aggregation of Internet traffic resulting from different users, network-access types and correspondi...