21342 search results - page 3656 / 4269 » A Structured Language Model |
149
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
153
click to vote
ACSE
1996
ACM
15 years 10 months ago
1996
ACM
In a university climate that sees rising student-sta ratios and increasing workloads for academics, any mechanism that reduces the student marking and assessment process must be w...
177
click to vote
IMPERIAL
1993
15 years 10 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
158
click to vote
PPSN
1992
Springer
15 years 10 months ago
1992
Springer
This paper introduces a new optimization technique called hyperplane annealing. It is similar to the mean field annealing approach to combinatorial optimization. Both annealing te...
227
click to vote
SIGMOD
1990
ACM
15 years 10 months ago
1990
ACM
In this work access support relataons are introduced as a means for optlmizmg query processing m object-oriented database systems The general idea 1s to mamtam redundant separate ...