Sciweavers

873 search results - page 24 / 175
» step 2005
Sort
View
ACMICEC
2005
ACM
157views ECommerce» more  ACMICEC 2005»
15 years 1 months ago
The development and evaluation of exception handling mechanisms for order fulfillment process based on BPEL4WS
The advance of Internet technology fosters the order fulfillment process in a supply chain across heterogeneous information systems. In order to monitor states between partners in...
Fu-ren Lin, Hsiang-chin Chang
ICCS
2005
Springer
15 years 5 months ago
A Visual Interactive Framework for Formal Derivation
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
Paul Agron, Leo Bachmair, Frank Nielsen
HPCC
2005
Springer
15 years 5 months ago
Correction of Building Height Effect Using LIDAR and GPS
Abstract. Correction of building height effects is a critical step in image interpretation from aerial imagery in urban area. In this paper, an efficient scheme to correct building...
Hong-Gyoo Sohn, Kong-Hyun Yun, Gi-Hong Kim, Hyo Su...
WONS
2005
IEEE
15 years 5 months ago
Fast Distributed Algorithm for Convergecast in Ad Hoc Geometric Radio Networks
—Wireless ad hoc radio networks have gained a lot of attention in recent years. We consider geometric networks, where nodes are located in a euclidean plane. We assume that each ...
Alexander Kesselman, Dariusz R. Kowalski
CVPR
2005
IEEE
16 years 1 months ago
Analytically Solving Radial Distortion Parameters
Most camera calibration algorithms consider parameters that define the lens distortion mapping. The usual way to determine these parameters is to minimize a nonlinear optimization...
Simone Graf, Tobias Hanning