Sciweavers

10406 search results - page 397 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
ICCV
2001
IEEE
16 years 6 months ago
Incorporating Differential Constraints in a 3D Reconstruction Process. Application to Stereo
We propose to incorporate a priori geometric constraints in a 3?D stereo reconstruction scheme to cope with the many cases where image information alone is not sufficient to accur...
Richard Lengagne, Pascal Fua
FSEN
2007
Springer
15 years 11 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
135
Voted
SSIRI
2010
15 years 3 months ago
Modelling and Implementing Complex Systems with Timebands
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
15 years 10 months ago
A Time Slice Based Scheduler Model for System Level Design
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
Luciano Lavagno, Claudio Passerone, Vishal Shah, Y...
WSC
2008
15 years 7 months ago
A simplified modeling approach for human system interaction
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
Torbjorn P. E. Ilar