Sciweavers

1863 search results - page 171 / 373
» Unifying Theories of Objects
Sort
View
COSIT
1999
Springer
118views GIS» more  COSIT 1999»
15 years 11 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»
15 years 10 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
15 years 10 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»
15 years 6 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»
15 years 6 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