Sciweavers

667 search results - page 38 / 134
» On Various Negative Translations
Sort
View
LICS
2010
IEEE
14 years 11 months ago
Polarity and the Logic of Delimited Continuations
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
Noam Zeilberger
55
Voted
ISIPTA
2003
IEEE
15 years 6 months ago
Inter-Personal Communication of Precise and Imprecise Subjective Probabilities
We analyze communication of uncertainty among individuals as a function of the parties’ preference for modes of communication. We assume that different individuals may prefer pr...
David V. Budescu, Tzur M. Karelitz
91
Voted
BMCBI
2007
99views more  BMCBI 2007»
15 years 27 days ago
Stratification bias in low signal microarray studies
Background: When analysing microarray and other small sample size biological datasets, care is needed to avoid various biases. We analyse a form of bias, stratification bias, that...
Brian J. Parker, Simon Günter, Justin Bedo
VLDB
2005
ACM
105views Database» more  VLDB 2005»
15 years 6 months ago
Light-weight Domain-based Form Assistant: Querying Web Databases On the Fly
The Web has been rapidly “deepened” by myriad searchable databases online, where data are hidden behind query forms. Helping users query alternative “deep Web” sources in ...
Zhen Zhang, Bin He, Kevin Chen-Chuan Chang
88
Voted
ICRA
2008
IEEE
135views Robotics» more  ICRA 2008»
15 years 7 months ago
Robust and real-time egomotion estimation using a compound omnidirectional sensor
—We propose a new egomotion estimation algorithm for a compound omnidirectional camera. Image features are detected by a conventional feature detector and then quickly classified...
Trung Ngo Thanh, Hajime Nagahara, Ryusuke Sagawa, ...