92 search results - page 13 / 19 » Decidable Reasoning over Timestamped Conceptual Models |
104
click to vote
GIS
1998
ACM
15 years 1 months ago
1998
ACM
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...
131
click to vote
AI
2008
Springer
15 years 13 days ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
121
Voted
IANDC
2008
15 years 1 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
143
Voted
APCCM
2006
15 years 3 months ago
2006
The integration of data from different sources often leads to the adoption of schemata that entail a loss of information in respect of one or more of the data sets being combined....
117
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...