11328 search results - page 61 / 2266 » Timed Branching Processes |
147
click to vote
ATAL
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
101
click to vote
ICTAI
2002
IEEE
15 years 8 months ago
2002
IEEE
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...
167
click to vote
CIKM
2004
Springer
15 years 6 months ago
2004
Springer
With the growing importance of semi-structure data in information exchange, much research has been done to provide an effective mechanism to match a twig query in an XML database....
149
click to vote
TCS
1998
15 years 2 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
124
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We present an algorithm which can track the 3D pose of a hand held camera in real-time using predefined models of objects in the scene. The technique utilises and extends recently...