Sciweavers

3073 search results - page 35 / 615
» Real World Verification
Sort
View
VISUALIZATION
2005
IEEE
14 years 1 months ago
Build-by-Number: Rearranging the Real World to Visualize Novel Architectural Spaces
We present Build-by-Number, a technique for quickly designing architectural structures that can be rendered photorealistically at interactive rates. We combine image-based capturi...
Daniel R. Bekins, Daniel G. Aliaga
HASKELL
2005
ACM
14 years 1 months ago
Haskell ready to dazzle the real world
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
Martijn M. Schrage, Arjan van IJzendoorn, Linda C....
EUROPKI
2005
Springer
14 years 1 months ago
Modeling Public Key Infrastructures in the Real World
John Marchesini, Sean W. Smith
FCT
2005
Springer
14 years 1 months ago
On Approximating Real-World Halting Problems
Sven Köhler, Christian Schindelhauer, Martin ...
IEAAIE
2005
Springer
14 years 1 months ago
A Fuzzy Genetic Algorithm for Real-World Job Shop Scheduling
In this paper, a multi-objective genetic algorithm is proposed to deal with a real-world fuzzy job shop scheduling problem. Fuzzy sets are used to model uncertain due dates and pro...
Carole Fayad, Sanja Petrovic