4166 search results - page 143 / 834 » Automating the constraining process |
133
click to vote
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
IWSOS
2007
Springer
15 years 4 months ago
2007
Springer
Autonomic computing environments rely on devices that are able to make intelligent decisions without human supervision. Automated Trust Negotiation supports the cooperation of devi...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...
73
Voted
ECRTS
2005
IEEE
15 years 3 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
CONTEXT
2005
Springer
15 years 3 months ago
2005
Springer
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...