Sciweavers

3073 search results - page 35 / 615
» Real World Verification
Sort
View
VISUALIZATION
2005
IEEE
15 years 11 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
15 years 11 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
15 years 11 months ago
Modeling Public Key Infrastructures in the Real World
John Marchesini, Sean W. Smith
FCT
2005
Springer
15 years 11 months ago
On Approximating Real-World Halting Problems
Sven Köhler, Christian Schindelhauer, Martin ...
IEAAIE
2005
Springer
15 years 11 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