Sciweavers

2584 search results - page 370 / 517
» On the Forward Checking Algorithm
Sort
View
KES
2005
Springer
15 years 3 months ago
3-D Building Reconstruction Using IKONOS Multispectral Stereo Images
This paper presents an effective strategy to extract the buildings and to reconstruct 3-D buildings using high-resolution multispectral stereo satellite images. Proposed scheme con...
Hong-Gyoo Sohn, Choung-Hwan Park, Joon Heo
PPDP
2005
Springer
15 years 3 months ago
Monadic concurrent linear logic programming
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
Pablo López, Frank Pfenning, Jeff Polakow, ...
VLDB
2005
ACM
144views Database» more  VLDB 2005»
15 years 3 months ago
Bidirectional Expansion For Keyword Search on Graph Databases
Relational, XML and HTML data can be represented as graphs with entities as nodes and relationships as edges. Text is associated with nodes and possibly edges. Keyword search on s...
Varun Kacholia, Shashank Pandit, Soumen Chakrabart...
GRAPHITE
2004
ACM
15 years 3 months ago
Dual space drawing methods for cones
Ruled surface design and its applications are widely used in CAGD (Computer Aid Geometric Design) and industrial areas. In this paper, the cone is a particular ruled surface, whic...
Rena Ding, Yan Zhang
PEWASUN
2004
ACM
15 years 3 months ago
A framework of secure location service for position-based ad hoc routing
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location i...
Joo-Han Song, Vincent W. S. Wong, Victor C. M. Leu...