4894 search results - page 304 / 979 » Dynamic Abstraction Planning |
183
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
221
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—This paper deals with estimation of the concentration of target molecules in a fluid when it flows past multiple biosensors. The fluid flow is modelled as an advecti...
149
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Recently, a minimal domain dubbed the numbers game has been proposed to illustrate well-known issues in co-evolutionary dynamics. The domain
148
click to vote
COMPUTER
2002
15 years 6 months ago
2002
abstract service descriptions to specific physical addresses such as HTTP or SMTP statically at design time or dynamically at runtime.
156
click to vote
SIAMCO
2002
15 years 6 months ago
2002
Abstract. We study the stability of the origin for the dynamical system x(t) = u(t)Ax(t)+(1u(t))Bx(t), where A and B are two 2