Sciweavers

12050 search results - page 2181 / 2410
» Modeling and Simulation
Sort
View
GECCO
2006
Springer
147views Optimization» more  GECCO 2006»
15 years 7 months ago
Deceptiveness and neutrality the ND family of fitness landscapes
When a considerable number of mutations have no effects on fitness values, the fitness landscape is said neutral. In order to study the interplay between neutrality, which exists ...
William Beaudoin, Sébastien Vérel, P...
AINA
2003
IEEE
15 years 7 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
FMCAD
2000
Springer
15 years 7 months ago
Monitor-Based Formal Specification of PCI
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
Kanna Shimizu, David L. Dill, Alan J. Hu
123
Voted
HHCI
2000
15 years 7 months ago
Haptic Graphs for Blind Computer Users
In this paper we discuss the design of computer-based haptic graphs for blind and visually impaired people with the support of our preliminary experimental results. Since visual i...
Wai Yu, Rameshsharma Ramloll, Stephen A. Brewster
104
Voted
RT
2000
Springer
15 years 7 months ago
Hierarchical Instantiation for Radiosity
We present the concept of hierarchical instantiation for radiosity. This new method enables an efficient, yet accurate determination of the illumination in very large scenes, wher...
Cyril Soler, François X. Sillion
« Prev « First page 2181 / 2410 Last » Next »