882 search results - page 64 / 177 » Allowing State Changes in Specifications |
151
click to vote
AAAI
2008
15 years 8 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
143
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
A kernel over the Boolean domain is said to be reflection-invariant, if its value does not change when we flip the same bit in both arguments. (Many popular kernels have this prop...
148
click to vote
AICT
2006
IEEE
16 years 10 days ago
2006
IEEE
The release of WSRF showed that an OGSA infrastructure of stateful WS-Resources could be built on top of plain WSDL, while retaining Web services as stateless entities. This Grid ...
159
click to vote
IROS
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...
188
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us ...