10159 search results - page 1919 / 2032 » System Design Validation Using Formal Models |
CG
2007
Springer
13 years 8 months ago
2007
Springer
The winged- and half- edge data structures are commonly used representations for polyhedron models. Due to the complexity, students in an introductory to computer graphics course ...
ICDM
2010
IEEE
13 years 6 months ago
2010
IEEE
A large number of data mining methods are, as such, not applicable to fast, intuitive, and interactive use. Thus, there is a need for visually controllable data mining methods. Suc...
MOBIHOC
2010
ACM
13 years 6 months ago
2010
ACM
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
VRST
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
SIGADA
2004
Springer
14 years 1 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...