908 search results - page 115 / 182 » Generating maximal models using the stable model semantics |
141
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
163
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
146
click to vote
CL
2010
Springer
15 years 4 months ago
2010
Springer
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...
170
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...
211
click to vote
NPL
2011
14 years 7 months ago
2011
The accuracy of a model to forecast a time series diminishes as the prediction horizon increases, in particular when the prediction is carried out recursively. Such decay is faster...