2599 search results - page 395 / 520 » An Operational Semantics for Knowledge Bases |
189
click to vote
APIN
2000
15 years 6 months ago
2000
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...
163
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
182
click to vote
JCS
2010
15 years 4 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
130
click to vote
PVLDB
2010
15 years 4 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
257
click to vote
ICAI
2010
15 years 4 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...