2638 search results - page 452 / 528 » Frameworks for Reasoning about Agent Based Systems |
153
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
158
click to vote
IEAAIE
2009
Springer
16 years 26 days ago
2009
Springer
One of the main problems that we have to face when visiting public or official buildings (i.e hospitals or public administrations) is the lack of information and signs that can gui...
193
click to vote
AMDO
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a method of estimating both 3-D shapes and moving poses of an articulated object from a monocular image sequence. Instead of using direct depth data, prior loo...
180
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--In this paper, d-AdaptOR, a distributed opportunistic routing scheme for multi-hop wireless ad-hoc networks is proposed. The proposed scheme utilizes a reinforcement lear...
165
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...