Sciweavers

1863 search results - page 171 / 373
» Unifying Theories of Objects
Sort
View
COSIT
1999
Springer
118views GIS» more  COSIT 1999»
14 years 1 months ago
Agglomerations
Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontolo...
Barry Smith
DEXA
1997
Springer
137views Database» more  DEXA 1997»
14 years 1 months ago
A Retrieval Mechanism for Semi-Structured Photographic Collections
Abstract. In this paper, a new approach for retrieval from semistructured photographic collections is described. We have developed a retrieval model based on the Dempster-Shafer th...
Joemon M. Jose, David J. Harper
LILOG
1989
14 years 1 months ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp
APIN
2010
172views more  APIN 2010»
13 years 9 months ago
Detecting interest cache poisoning in sensor networks using an artificial immune algorithm
The objective of this paper is to investigate how a Danger Theory based Artificial Immune System--in particular the Dendritic Cell Algorithm (DCA) can detect an attack on a sensor ...
Christian Wallenta, Jungwon Kim, Peter J. Bentley,...
CORR
2008
Springer
107views Education» more  CORR 2008»
13 years 9 months ago
Metric Structures and Probabilistic Computation
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
Wesley Calvert