Sciweavers

756 search results - page 81 / 152
» Using topology for spatial reasoning
Sort
View
ANTSW
2006
Springer
15 years 1 months ago
Parallel Ant Colony Optimization for the Traveling Salesman Problem
There are two reasons for parallelizing a metaheuristic if one is interested in performance: (i) given a fixed time to search, the aim is to increase the quality of the solutions f...
Max Manfrin, Mauro Birattari, Thomas Stützle,...
JUCS
2007
108views more  JUCS 2007»
14 years 9 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
ICIAR
2005
Springer
15 years 3 months ago
A Generic Shape Matching with Anchoring of Knowledge Primitives of Object Ontology
We have developed a generic ontology of objects, and a knowledge base of everyday physical objects. Objects are represented as assemblies of functional features and their spatial r...
Dongil Han, Bum-Jae You, Yong Se Kim, Il Hong Suh
SIGCOMM
2004
ACM
15 years 3 months ago
An algebraic approach to practical and scalable overlay network monitoring
Overlay network monitoring enables distributed Internet applications to detect and recover from path outages and periods of degraded performance within seconds. For an overlay net...
Yan Chen, David Bindel, Han Hee Song, Randy H. Kat...
WACV
2008
IEEE
15 years 4 months ago
Object Categorization Based on Kernel Principal Component Analysis of Visual Words
In recent years, many researchers are studying object categorization problem. It is reported that bag of keypoints approach which is based on local features without topological in...
Kazuhiro Hotta