4600 search results - page 29 / 920 » Presenting the cyclotactor project |
115
click to vote
DAC
1996
ACM
15 years 3 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...
103
click to vote
CIKM
1994
Springer
15 years 3 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...
104
click to vote
PEPM
1994
ACM
15 years 3 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...
102
click to vote
BIOID
2008
2008
Discriminant Non-negative Matrix Factorization and Projected Gradients for Frontal Face Verification
15 years 1 months ago
A novel Discriminant Non-negative Matrix Factorization (DNMF) method that uses projected gradients, is presented in this paper. The proposed algorithm guarantees the algorithm'...
100
click to vote
EMNLP
2007
15 years 1 months ago
2007
We demonstrate an approach for inducing a tagger for historical languages based on existing resources for their modern varieties. Tags from Present Day English source text are pro...