1981 search results - page 49 / 397 » Model-Checking Hierarchical Structures |
PRICAI
2000
Springer
14 years 10 days ago
2000
Springer
This paper presents the CQ algorithm which decomposes and solves a Markov Decision Process (MDP) by automatically generating a hierarchy of smaller MDPs using state variables. The ...
EMNLP
2009
13 years 6 months ago
2009
This paper presents a new method of developing a large-scale hyponymy relation database by combining Wikipedia and other Web documents. We attach new words to the hyponymy databas...
GIS
2008
ACM
13 years 8 months ago
2008
ACM
This paper deals with the geographical analysis and visualization of network marketing. The aim of the study was to develop interactive visual methods, which help to answer questi...
JSW
2008
13 years 8 months ago
2008
Image quality loss resulting from artifacts depends on the nature and strength of the artifacts as well as the context or background in which they occur. In order to include the im...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
The shape of the Web in terms of its graphical structure has been a widely interested topic. Two graphs, Bow Tie and Daisy, have stood out from previous research. In this work, we...