Sciweavers

1592 search results - page 131 / 319
» On the Equality of Probabilistic Terms
Sort
View
PLILP
1998
Springer
15 years 10 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
CVPR
1996
IEEE
15 years 10 months ago
A Space-Sweep Approach to True Multi-Image Matching
The problem of determining feature correspondences across multiple views is considered. The term true multi-image" matching is introduced to describe techniques that make ful...
Robert T. Collins
ICLP
1990
Springer
15 years 10 months ago
On Warren's Method for Functional Programming in Logic
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
Mantis H. M. Cheng, Maarten H. van Emden, B. E. Ri...
INCDM
2010
Springer
193views Data Mining» more  INCDM 2010»
15 years 10 months ago
Trend Mining in Social Networks: A Study Using a Large Cattle Movement Database
This paper reports on a mechanism to identify temporal spatial trends in social networks. The trends of interest are defined in terms of the occurrence frequency of time stamped p...
Puteri N. E. Nohuddin, Rob Christley, Frans Coenen...
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
15 years 10 months ago
Understanding particle swarms through simplification: a study of recombinant PSO
Simplified forms of the particle swarm algorithm are very beneficial in contributing to understanding of what makes a PSO swarm function in the way that it does. One of these form...
Daniel Bratton, Tim Blackwell