Sciweavers

3381 search results - page 285 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
SPIN
2007
Springer
16 years 24 days ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
ECCV
2002
Springer
16 years 8 months ago
Tracking and Rendering Using Dynamic Textures on Geometric Structure from Motion
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
Dana Cobzas, Martin Jägersand
DFT
2005
IEEE
72views VLSI» more  DFT 2005»
16 years 9 days ago
Soft Error Modeling and Protection for Sequential Elements
Sequential elements, flip-flops, latches, and memory cells, are the most vulnerable components to soft errors. Since state-of-the-art designs contain millions of bistables, it i...
Hossein Asadi, Mehdi Baradaran Tahoori
UML
2005
Springer
16 years 5 days ago
Visualization in the Context of Model Driven Engineering
Understanding and maintenance of complex information spaces is often supported through visual interfaces. These interfaces must be highly flexible in order to adapt to both the u...
R. Ian Bull, Jean-Marie Favre
ICCV
2011
IEEE
14 years 6 months ago
Tabula Rasa: Model Transfer for Object Category Detection
Our objective is transfer training of a discriminatively trained object category detector, in order to reduce the number of training images required. To this end we propose three ...
Yusuf Aytar, Andrew Zisserman