Sciweavers

823 search results - page 40 / 165
» Model replication: transformations to address model scalabil...
Sort
View
SAC
2003
ACM
15 years 3 months ago
reality: a Scalable Intelligent Travel Planner
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
Marc Torrens, Patrick Hertzog, Loic Samson, Boi Fa...
TCAD
2008
90views more  TCAD 2008»
14 years 9 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
ICDCN
2011
Springer
14 years 1 months ago
Load Balanced Scalable Byzantine Agreement through Quorum Building, with Full Information
We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the ...
Valerie King, Steven Lonargan, Jared Saia, Amitabh...
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 2 months ago
State estimation of the three-tank system using a multiple model
— This paper addresses the exact transformation of nonlinear systems into a multiple model form with unmeasurable premise variables. The multiple model structure serves to treat ...
Anca Maria Nagy, Benoît Marx, Gilles Mourot,...
ICIP
2000
IEEE
15 years 11 months ago
Three Dimensional Facial Model Adaptation
This paper addresses the problem of adapting a generic 3D face model to a human face of which the frontal and profile views are given. Assuming that a set of feature points have b...
Nikolaos Sarris, Michael G. Strintzis