Sciweavers

437 search results - page 71 / 88
» Gradience, Constructions and Constraint Systems
Sort
View
HICSS
2008
IEEE
128views Biometrics» more  HICSS 2008»
14 years 3 months ago
Service Composition Language to Unify Simulation and Optimization of Supply Chains
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
Alexander Brodsky, Malak Al-Nory, Hadon Nash
3DPVT
2006
IEEE
179views Visualization» more  3DPVT 2006»
14 years 3 months ago
Large-Scale Urban Modeling by Combining Ground Level Panoramic and Aerial Imagery
We describe an interactive system that models regions of an urban environment, such as a group of tall buildings. Traditional image-based modeling methods often cannot model such ...
Lu Wang, Suya You, Ulrich Neumann
3DPVT
2006
IEEE
174views Visualization» more  3DPVT 2006»
14 years 3 months ago
Two Stage View Planning for Large-Scale Site Modeling
We present a systematic view planning method to assist construction of 3-D models of large outdoor sites using a mobile robot platform with mounted scanner. In the first stage, w...
Paul Blaer, Peter K. Allen
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
14 years 2 months ago
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
Juan de Lara, Gabriele Taentzer
ICFP
2006
ACM
14 years 9 months ago
Recursive modules for programming
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
Keiko Nakata, Jacques Garrigue