902 search results - page 61 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
123
Voted
BIRTHDAY
2009
Springer
14 years 10 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
JALC
2006
15 years 17 days ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
80
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
125
Voted
AAAI
1994
15 years 1 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
ICSE
2003
IEEE-ACM
16 years 20 days ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...