Sciweavers

6171 search results - page 600 / 1235
» The FrameNet Data and Software
Sort
View
COMPSAC
1997
IEEE
15 years 11 months ago
DRDB: a distributed real-time database server for high-assurance time-critical applications
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
Sang Hyuk Son, Robert C. Beckinger, David A. Baker
LCPC
1998
Springer
15 years 11 months ago
The I+ Test
: In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated ab...
Weng-Long Chang, Chih-Ping Chu
LCPC
1998
Springer
15 years 11 months ago
Automatic Parallelization of C by Means of Language Transcription
The automatic parallelization of C has always been frustrated by pointer arithmetic, irregular control flow and complicated data aggregation. Each of these problems is similar to f...
Richard L. Kennell, Rudolf Eigenmann
IUI
1997
ACM
15 years 11 months ago
Integrating Planning and Task-Based Design for Multimedia Presentation
We claim that automatic multimedia presentation can be modeled by integrating two complementary approaches to automatic design: hierarchical planning to achieve communicative goal...
Stephan M. Kerpedjiev, Giuseppe Carenini, Steven F...
AADEBUG
1997
Springer
15 years 11 months ago
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
Adele E. Howe, Gabriel Somlo