11739 search results - page 8 / 2348 » Slideshow: functional presentations |
SEFM
2006
IEEE
14 years 3 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
BMCBI
2007
13 years 10 months ago
2007
Background: Amino acid repeat-containing proteins have a broad range of functions and their identification is of relevance to many experimental biologists. In human-infective prot...
TIT
2008
13 years 9 months ago
2008
Abstract--For output-symmetric discrete memoryless channels (DMCs) at even moderately high rates, fixed-block-length communication systems show no improvements in their error expon...
MM
2003
ACM
14 years 3 months ago
2003
ACM
We describe an end-to-end system that capitalizes on geographic location tags for digital photographs. The World Wide Media eXchange (WWMX) database indexes large collections of i...
JCT
2011
13 years 4 months ago
2011
Our recent paper [5] provides extensions to two classical determinantal results of Bressoud and Wei, and of Koike. The proofs in that paper were algebraic. The present paper conta...