Sciweavers

26151 search results - page 52 / 5231
» Parameterized system design
Sort
View
ICPR
2004
IEEE
14 years 11 months ago
Fusion of Vision, 3D Gyro and GPS for Camera Dynamic Registration
This paper presents a novel framework of hybrid camera pose tracking system for outdoor navigation system. Traditional vision based or inertial sensor based solutions are mostly d...
Francisco Lamosa, Hanqing Lu, Keiichi Uchimura, Zh...
ICSE
2005
IEEE-ACM
14 years 10 months ago
Explicit assumptions enrich architectural models
Design for change is a well-known adagium in software engineering. We separate concerns, employ well-designed interfaces, and the like to ease evolution of the systems we build. W...
Patricia Lago, Hans van Vliet
ESOP
2010
Springer
14 years 7 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker
CIKM
2003
Springer
14 years 3 months ago
HyperThesis: the gRNA spell on the curse of bioinformatics applications integration
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...
Sourav S. Bhowmick, Vivek Vedagiri, Amey V. Laud
ATAL
2006
Springer
14 years 1 months ago
Reducing price fluctuation in continuous double auctions through pricing policy and shout improvement
Auction mechanism design is a subfield of game theory dedicated to manipulating the rules of an auction so as to achieve specific goals. The complexity of the dynamics of auctions...
Jinzhong Niu, Kai Cai, Simon Parsons, Elizabeth Sk...