1912 search results - page 255 / 383 » GOAL as a Planning Formalism |
148
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
144
click to vote
SFM
2009
Springer
16 years 29 days ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
150
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
— It has been established in the literature that the cascade interconnection of two bilinear systems does not in general produce another bilinear system. The goals of this paper ...
140
click to vote
DSN
2007
IEEE
16 years 23 days ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
189
click to vote
IROS
2007
IEEE
16 years 22 days ago
2007
IEEE
— This paper presents an object active visual search behavior in a 3D environment performed by a HRP-2 humanoid robot. The search is formalized as an optimization problem in whic...