1073 search results - page 61 / 215 » Reasoning about Continuous Processes |
163
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
110
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In the last ten years, internet as well as its applications changed significantly, mainly thanks to the raising of available personal resources. Concerning multimedia, the most i...
141
click to vote
IAT
2006
IEEE
15 years 8 months ago
2006
IEEE
The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-orient...
116
click to vote
ECSQARU
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
124
Voted
OWLED
2007
15 years 3 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...