846 search results - page 63 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
89
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources with the goal of as...
105
Voted
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
In the field of computer analysis of document images, the problems of physical and logical layout analysis have been approached through a variety of heuristic, rule-based, and gr...
104
Voted
AMW
2010
15 years 2 months ago
2010
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
121
Voted
JAIR
2010
14 years 11 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
94
Voted
APPT
2003
Springer
15 years 6 months ago
2003
Springer
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...