3190 search results - page 15 / 638 » cans 2011 |
IJIS
2011
14 years 26 days ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
93
Voted
JAIR
2011
14 years 10 days ago
2011
We present a novel approach to fusing document lists that are retrieved in response to a query. Our approach is based on utilizing information induced from inter-document similarit...
AIS2
2011
13 years 9 months ago
2011
This paper introduces P-map, an intuitive plot to visualize, understand and compare variable-gain PI controllers. The idea is to represent the difference between a target controll...
AQUILEIA
2011
13 years 9 months ago
2011
Geophysical Prospection has yielded remarkable results to the research in Archaeology. Besides the recognition of places, also the earlier uses of a site can be reconstructed. Ther...
AQUILEIA
2011
13 years 9 months ago
2011
The article illustrates some activities of LIDA, the Information Laboratory for Art History of the University of Udine. It focuses on a regional pilot project on ICT and cultural h...