3256 search results - page 595 / 652 » Applications of Formal Methods to System Design and Verifica... |
133
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
We present a method for performing selection tasks based on continuous control of multiple, competing agents who try to determine the user's intentions from their control beh...
146
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
We propose a variation of the standard genetic algorithm that incorporates social interaction between the individuals in the population. Our goal is to understand the evolutionary...
132
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
124
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...
177
click to vote
VRST
2005
ACM
15 years 10 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...