1064 search results - page 119 / 213 » Disjoint Systems (Extended Abstract) |
112
Voted
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we present an extension of the ShapeBugs distributed formation algorithm which enables 2D mobile agents to agree on a consensus coordinate system starting f...
113
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Classical formulations of data-assimilation perform poorly when forecast locations of weather systems are displaced from their observations. They compensate position erro...
112
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
117
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
124
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper describes work in progress to extend component models to support Master-Worker applications and to let them to be executed on Grid infrastructures. The proposed appr...