Sciweavers

8067 search results - page 341 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
SOSE
2008
IEEE
15 years 11 months ago
Model-Checking of Web Services Choreography
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
15 years 11 months ago
Recognising and Modelling Landmarks to Close Loops in Outdoor SLAM
Abstract— In this paper, simultaneous localisation and mapping (SLAM) is combined with landmark recognition to close large loops in unstructured, outdoor environments. Camera and...
Fabio T. Ramos, Juan Nieto, Hugh F. Durrant-Whyte
SSS
2007
Springer
117views Control Systems» more  SSS 2007»
15 years 11 months ago
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abu...
ICMCS
2006
IEEE
186views Multimedia» more  ICMCS 2006»
15 years 11 months ago
GPU Accelerated Inverse Photon Mapping for Real-Time Surface Reflectance Modeling
This paper investigates the problem of object surface reflectance modeling, which is sometimes referred to as inverse reflectometry, for photorealistic rendering and effective m...
Takashi Machida, Naokazu Yokoya, Haruo Takemura
ICAC
2005
IEEE
15 years 10 months ago
Model-Driven Placement of Compute Tasks and Data in a Networked Utility
An important problem in resource management for networked resource-sharing systems is the simultaneous allocation of multiple resources to an application. Selfoptimizing systems m...
Piyush Shivam, Adriana Iamnitchi, Aydan R. Yumeref...