4600 search results - page 29 / 920 » Presenting the cyclotactor project |
DAC
1996
ACM
14 years 24 days 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...
CIKM
1994
Springer
14 years 23 days 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...
PEPM
1994
ACM
14 years 22 days 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...
BIOID
2008
2008
Discriminant Non-negative Matrix Factorization and Projected Gradients for Frontal Face Verification
13 years 10 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'...
EMNLP
2007
13 years 10 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...