Sciweavers

9405 search results - page 1637 / 1881
» Computing a Model of Set Theory
Sort
View
148
Voted
ICPR
2004
IEEE
16 years 6 months ago
Recognition of Unconstrained Legal Amounts Handwritten on Chinese Bank Checks
This paper presents a novel research investigation on legal amount recognition of unconstrained cursive handwritten Chinese character in the environment of A2iA CheckReaderTM ? a ...
Ching Y. Suen, Emmanuel Augustin, Hanshen Tang, Mo...
COORDINATION
2009
Springer
16 years 5 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
CHI
2006
ACM
16 years 5 months ago
FaThumb: a facet-based interface for mobile search
In this paper we describe a novel approach for searching large data sets from a mobile phone. Existing interfaces for mobile search require keyword text entry and are not suited f...
Amy K. Karlson, George G. Robertson, Daniel C. Rob...
CHI
2005
ACM
16 years 5 months ago
The role of the author in topical blogs
Web logs, or blogs, challenge the notion of authorship. Seemingly, rather than a model in which the author's writings are themselves a contribution, the blog author weaves a ...
Scott Carter
RECOMB
2008
Springer
16 years 5 months ago
Accounting for Non-genetic Factors Improves the Power of eQTL Studies
Abstract. The recent availability of large scale data sets profiling single nucleotide polymorphisms (SNPs) and gene expression across different human populations, has directed muc...
Oliver Stegle, Anitha Kannan, Richard Durbin, John...
« Prev « First page 1637 / 1881 Last » Next »