2043 search results - page 229 / 409 » Reasoning About Security Models |
150
click to vote
AIME
2005
Springer
15 years 11 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
166
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
187
click to vote
EMMCVPR
2001
Springer
15 years 10 months ago
2001
Springer
To segregate overlapping objects into depth layers requires the integration of local occlusion cues distributed over the entire image into a global percept. We propose to model thi...
190
click to vote
WICSA
2004
15 years 7 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
153
click to vote
DIMACS
1996
15 years 7 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...