Sciweavers

5619 search results - page 47 / 1124
» A Region Inference Algorithm
Sort
View
FLAIRS
2008
14 years 1 months ago
An Inference Mechanism for Point-Interval Logic
We present a new inference algorithm for Point-Interval Logic. The mechanism removes the incompleteness of previously reported inference mechanism for PointInterval Logic. We also...
Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi
AAAI
2011
12 years 11 months ago
Coarse-to-Fine Inference and Learning for First-Order Probabilistic Models
Coarse-to-fine approaches use sequences of increasingly fine approximations to control the complexity of inference and learning. These techniques are often used in NLP and visio...
Chloe Kiddon, Pedro Domingos
CORR
2004
Springer
98views Education» more  CORR 2004»
13 years 10 months ago
A feasible algorithm for typing in Elementary Affine Logic
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
Patrick Baillot, Kazushige Terui
GIS
2010
ACM
13 years 9 months ago
Decentralized querying of topological relations between regions without using localization
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
Matt Duckham, Myeong Hun Jeong, Sanjiang Li, Joche...
CIARP
2007
Springer
14 years 5 months ago
Image Segmentation Using Automatic Seeded Region Growing and Instance-Based Learning
Segmentation through seeded region growing is widely used because it is fast, robust and free of tuning parameters. However, the seeded region growing algorithm requires an automat...
Octavio Gómez, Jesús A. Gonzá...