Sciweavers

7335 search results - page 904 / 1467
» Scene Based Reasoning
Sort
View
TARK
2005
Springer
16 years 16 days ago
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
Rohit Parikh
EUROPAR
2004
Springer
16 years 13 days ago
A Data Structure Oriented Monitoring Environment for Fortran OpenMP Programs
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
Edmond Kereku, Tianchao Li, Michael Gerndt, Josef ...
EWCBR
2004
Springer
16 years 13 days ago
Explanation Oriented Retrieval
This paper is based on the observation that the nearest neighbour in a case-based prediction system may not be the best case to explain a prediction. This observation is based on t...
Dónal Doyle, Padraig Cunningham, Derek G. B...
GISCIENCE
2004
Springer
136views GIS» more  GISCIENCE 2004»
16 years 13 days ago
Simplifying Sets of Events by Selecting Temporal Relations
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
Andrea Rodríguez, Nico Van de Weghe, Philip...
ICCS
2004
Springer
16 years 13 days ago
Routing and Wavelength Assignments in Optical WDM Networks with Maximum Quantity of Edge Disjoint Paths
In the present paper routing and wavelength assignment (RWA) in optical WDM networks is discussed. Previous techniques on based on the integer linear programming and graph coloring...
Hyunseung Choo, Vladimir V. Shakhov