2520 search results - page 155 / 504 » Model-checking behavioral programs |
137
click to vote
ICRA
2006
IEEE
16 years 1 days ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
170
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
177
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
130
Voted
IPPS
2007
IEEE
16 years 9 days ago
2007
IEEE
Targeted optimization of program segments can provide an additional program speedup over the highest default optimization level, such as -O3 in GCC. The key challenge is how to au...
183
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Consider an online ad campaign run by an advertiser. The ad serving companies that handle such campaigns record users' behavior that leads to impressions of campaign ads, as ...