Sciweavers

1941 search results - page 247 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
SPIN
2010
Springer
15 years 3 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
SAC
2010
ACM
16 years 26 days ago
Modeling the variability of architectural patterns
Architectural patterns provide proven solutions to recurring design problems that arise in a system context. A major challenge for modeling patterns in a system design is effectiv...
Ahmad Waqas Kamal, Paris Avgeriou
CVPR
2004
IEEE
16 years 8 months ago
Probability Models for High Dynamic Range Imaging
Methods for expanding the dynamic range of digital photographs by combining images taken at different exposures have recently received a lot of attention. Current techniques assum...
Chris Pal, Richard Szeliski, Matthew Uyttendaele, ...
NN
2008
Springer
104views Neural Networks» more  NN 2008»
15 years 6 months ago
Recognizing emotions expressed by body pose: A biologically inspired neural model
Research into the visual perception of human emotion has traditionally focused on the facial expression of emotions. Recently researchers have turned to the more challenging field...
Konrad Schindler, Luc J. Van Gool, Béatrice...
TOG
2010
157views more  TOG 2010»
15 years 21 days ago
Computer-generated residential building layouts
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
Paul Merrell, Eric Schkufza, Vladlen Koltun