2293 search results - page 194 / 459 » Temporal Logic in Information Systems |
160
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
203
click to vote
CCIA
2008
Springer
15 years 8 months ago
2008
Springer
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
194
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Organisational structures for multi-agent systems are usually defined independently of any spatial and temporal structure. Therefore, when the multi-agent system is situated in a ...
148
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...
161
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An approach to a multi-facet task of situation identification by Unmanned Aerial Vehicle (UAV) is presented. The concept of multi-layered identification system based on s...