3765 search results - page 293 / 753 » Qualitative Action Systems |
200
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
— We present a semi-parametric control policy representation and use it to solve a series of nonholonomic control problems with input state spaces of up to 7 dimensions. A neares...
184
click to vote
POLICY
2005
Springer
16 years 27 days ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
237
click to vote
AMEC
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
187
click to vote
ER
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. In this paper an approach for building process models for ecommerce is proposed. It is based on the assumption that the process modeling task can be methodologically supp...
194
click to vote
ICDCS
2002
IEEE
16 years 10 days ago
2002
IEEE
This paper presents in detail an efficient and provably correct algorithm for database replication over partitionable networks. Our algorithm avoids the need for end-toend acknow...