6608 search results - page 925 / 1322 » On the Completeness of Model Checking |
187
click to vote
CCECE
2006
IEEE
16 years 28 days ago
2006
IEEE
This work is focused on the motion control of an underactuated brachiation robot with 3 links. We present the modeling of the dynamics of the robot and introduce the application o...
173
click to vote
CSB
2005
IEEE
16 years 14 days ago
2005
IEEE
Experimental processes to collect and process proteomics data are increasingly complex, while the computational methods to assess the quality and significance of these data remain...
193
click to vote
RTAS
2005
IEEE
16 years 13 days ago
2005
IEEE
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...
175
click to vote
PADS
2005
ACM
16 years 12 days ago
2005
ACM
Simulation of large-scale networks requires enormous amounts of memory and processing time. One way of speeding up these simulations is to distribute the model over a number of co...
216
click to vote
SAC
2005
ACM
16 years 12 days ago
2005
ACM
This paper presents a novel model of reinforcement learning agents. A feature of our learning agent model is to integrate analytic hierarchy process (AHP) into a standard reinforc...