4600 search results - page 114 / 920 » Presentation Of The Eurolang Project |
180
click to vote
CSDA
2008
15 years 7 months ago
2008
An m-sample semiparametric model in which the ratio of m - 1 probability density functions with respect to the mth is of a known parametric form without reference to any parametri...
147
click to vote
DL
1999
Springer
15 years 11 months ago
1999
Springer
TalkMine is an adaptive recommendation system which is both content-based and collaborative, and further allows the crossover of information among multiple databases searched by u...
203
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
203
click to vote
CIKM
1994
Springer
15 years 11 months ago
1994
Springer
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...
178
Voted
PEPM
1994
ACM
15 years 11 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...