14577 search results - page 2548 / 2916 » Statistical Language Modelling |
220
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
217
click to vote
DOOD
1997
Springer
15 years 11 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
149
click to vote
FPL
1997
Springer
15 years 11 months ago
1997
Springer
: The paper first proposes requirements for an ideal platform for codesign research. A new board developed at Imperial College, the Riley-2, is shown to meet these requirements. It...
190
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents an extension of disjunctive datalog (Datalog∨ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...
152
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...