8337 search results - page 1198 / 1668 » Reasoning With Characteristic Models |
168
click to vote
IMSA
2001
15 years 8 months ago
2001
This paper deals with the coupling of AROM, an objectbased knowledge representation with V-STORM, a multimedia presentation system. We propose an AROM knowledge base which constit...
161
click to vote
JVM
2001
15 years 8 months ago
2001
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
158
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper considers vehicle routing problems (VRP) where customer locations and service times are random variables that are realized dynamically during plan execution. It propose...
235
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
214
click to vote
LEGE
2003
15 years 8 months ago
2003
The purpose of this paper is to describe the work in progress related to the customisation, the trial and the evaluation of an innovative e-learning platform for manager upgrade i...