Sciweavers

531 search results - page 78 / 107
» Data structure repair using goal-directed reasoning
Sort
View
DAWAK
2010
Springer
15 years 4 months ago
Region of Interest Based Image Categorization
Region Of Interest Based Image Classification (ROIBIC) is a mechanism for categorising images according to some specific component or object that features across a given image set....
Ashraf Elsayed, Frans Coenen, Marta García-...
137
Voted
PST
2008
15 years 6 months ago
LogView: Visualizing Event Log Clusters
Event logs or log files form an essential part of any network management and administration setup. While log files are invaluable to a network administrator, the vast amount of dat...
Adetokunbo Makanju, Stephen Brooks, A. Nur Zincir-...
GIS
2007
ACM
16 years 5 months ago
Evacuation route planning: scalable heuristics
Given a transportation network, a vulnerable population, and a set of destinations, evacuation route planning identifies routes to minimize the time to evacuate the vulnerable pop...
Sangho Kim, Betsy George, Shashi Shekhar
CSL
2010
Springer
15 years 5 months ago
Fibrational Induction Rules for Initial Algebras
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res...
Neil Ghani, Patricia Johann, Clément Fumex
CVPR
2005
IEEE
16 years 6 months ago
Learning Spatiotemporal T-Junctions for Occlusion Detection
The goal of motion segmentation and layer extraction can be viewed as the detection and localization of occluding surfaces. A feature that has been shown to be a particularly stro...
Nicholas Apostoloff, Andrew W. Fitzgibbon