Sciweavers

3771 search results - page 476 / 755
» Subobject Transformation Systems
Sort
View
SSS
2007
Springer
117views Control Systems» more  SSS 2007»
15 years 10 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...
UM
2007
Springer
15 years 10 months ago
Principles of Lifelong Learning for Predictive User Modeling
Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate a...
Ashish Kapoor, Eric Horvitz
HICSS
2006
IEEE
135views Biometrics» more  HICSS 2006»
15 years 10 months ago
Using Function Generalization to Design a Cosequential Processing Framework
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
H. Conrad Cunningham, Pallavi Tadepalli
ICAS
2006
IEEE
145views Robotics» more  ICAS 2006»
15 years 10 months ago
A Model-Driven Development Framework for Non-Functional Aspects in Service Oriented Grids
Service-oriented grids are grid computing systems built with the notion of service-oriented architecture (SOA). Using two maract concepts, services and connections between service...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba
ICAT
2006
IEEE
15 years 10 months ago
Floating Virtual Mirrors: Visualization of the Scene Behind a Vehicle
In this paper, we propose a visual assistance system that shows the scene behind a vehicle to its driver in the form of a virtual mirror by utilizing a surveillance camera. The vir...
Toru Miyamoto, Itaru Kitahara, Yoshinari Kameda, Y...