9931 search results - page 287 / 1987 » Generative Modeling by PRISM |
168
click to vote
PTS
2008
15 years 6 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
133
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
In Japanese, it is quite common for the same word to be written in several different ways. This is especially true for katakana words which are typically used for transliterating ...
138
click to vote
UAIS
2008
15 years 4 months ago
2008
This paper presents an approach to automatic course generation and student modeling. The method has been developed during the European funded projects Diogene and Intraserv, focuse...
IJMMS
2000
15 years 4 months ago
2000
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...
163
Voted
NRHM
2000
15 years 4 months ago
2000
There are a number of different approaches for automatically selecting video clips from a video database and sequencing them into meaningful presentations for viewers. The video d...