4693 search results - page 707 / 939 » Verifying Hybrid Systems |
155
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
In the model-based policy search approach to reinforcement learning (RL), policies are found using a model (or "simulator") of the Markov decision process. However, for ...
141
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
We present FEMine, an automatic system for image-based gene expression analysis. We perform experiments on the largest publicly available collection of Drosophila ISH (in situ hyb...
174
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
Whereas efficient barrier implementations were once a concern only in high-performance computing, recent trends in core integration make the topic relevant even for general-purpos...
139
click to vote
EUROSEC
2009
ACM
16 years 26 days ago
2009
ACM
The network is becoming faster day by day. High-speed links, of many Gbps, are considered as commodity technology empowering the Internet. On the other hand, Moore’s law still a...
121
click to vote
ICRA
2009
IEEE
16 years 22 days ago
2009
IEEE
— The paper studies the cyclic pursuit problem in presence of connectivity constraints among single-integrator agents. The robots, each one pursuing its leading neighbor along th...