Sciweavers

2253 search results - page 216 / 451
» The ComFoRT Reasoning Framework
Sort
View
GIS
1998
ACM
14 years 10 months ago
Aoristic Crime Analysis
Abstract. Crime pattern analysis has tended to focus on `hotspot’ analysis techniques; the identi® cation of areas with higher densities of criminal activity. This paper documen...
Jerry H. Ratcliffe, Michael J. McCullagh
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
14 years 9 months ago
A quadratic regulator-based heuristic for rapidly exploring state space
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
Elena Leah Glassman, Russ Tedrake
IS
2010
14 years 9 months ago
Content value chains modelling using a copyright ontology
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
Roberto García, Rosa Gil
JELIA
2010
Springer
14 years 9 months ago
Parametrized Logic Programming
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
Ricardo Gonçalves, José Júlio...
DLOG
2010
14 years 9 months ago
Distance-based Measures of Inconsistency and Incoherency for Description Logics
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
Yue Ma, Pascal Hitzler