2239 search results - page 57 / 448 » Computing with abstract matrix structures |
202
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
for Dynamic Abstract Regions Joxan Jaffar Roland H.C. Yap School of Computing National University of Singapore 3 Science Drive 2, 117543, Singapore {joxan, ryap}@comp.nus.edu.sg Ke...
IRREGULAR
1997
Springer
15 years 4 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider the problem of classification when multiple observations of a pattern are available, possibly under different transformations. We view this problem as a special case o...
ISMB
1996
15 years 1 months ago
1996
Thispaperintroducesa methodfor identifyingempirically conservedaminoacid substitution groups.In contrast with existing approachesthat viewaminoacid substitution as a pairwisepheno...