2520 search results - page 305 / 504 » Model-checking behavioral programs |
131
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— Reinforcement learning (RL) algorithms have long been promising methods for enabling an autonomous robot to improve its behavior on sequential decision-making tasks. The obviou...
135
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
119
Voted
CHI
2003
ACM
16 years 2 months ago
2003
ACM
How is interacting with computer programs different from interacting with people? One answer in the literature is that these two types of interactions are similar. The present stu...
139
Voted
IEEEIAS
2009
IEEE
15 years 9 months ago
2009
IEEE
: There are two main approaches for implementing IDS; Host based and Network based. While the former is implemented in form of software deployed on a host, the latter, usually is b...
125
Voted
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...