266 search results - page 52 / 54 » Integrating word relationships into language models |
98
Voted
TCS
2002
14 years 10 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
92
Voted
USS
2008
15 years 17 days ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
84
Voted
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
122
Voted
RV
2010
Springer
14 years 8 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
106
Voted
CIKM
2000
Springer
15 years 2 months ago
2000
Springer
On-Line Analytical Processing (OLAP) systems based on a multidimensional view of data have found widespread use in business applications and are being used increasingly in non-sta...