Sciweavers

1401 search results - page 91 / 281
» Randomness in Interactive Proofs
Sort
View
IUI
2010
ACM
15 years 4 months ago
Intelligent understanding of handwritten geometry theorem proving
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
Yingying Jiang, Feng Tian, Hongan Wang, Xiaolong Z...
BIBE
2006
IEEE
160views Bioinformatics» more  BIBE 2006»
15 years 3 months ago
Methods for Random Modularization of Biological Networks
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
Zachary M. Saul, Vladimir Filkov
SIGMOD
2007
ACM
112views Database» more  SIGMOD 2007»
15 years 10 months ago
A random walk approach to sampling hidden databases
A large part of the data on the World Wide Web is hidden behind form-like interfaces. These interfaces interact with a hidden backend database to provide answers to user queries. ...
Arjun Dasgupta, Gautam Das, Heikki Mannila
ISCAS
2007
IEEE
207views Hardware» more  ISCAS 2007»
15 years 4 months ago
Low-delay View Random Access for Multi-view Video Coding
—Multi-view video coding is becoming a very active research topic, as multi-view video system provides the interactive feature which makes viewers experience the free viewpoint n...
Yanwei Liu, Qingming Huang, Debin Zhao, Wen Gao
TIT
1998
89views more  TIT 1998»
14 years 9 months ago
The Common Randomness Capacity of a Pair of Independent Discrete Memoryless Channels
—We study the following problem: two agents Alice and Bob are connected to each other by independent discrete memoryless channels. They wish to generate common randomness, i.e., ...
Sivarama Venkatesan, Venkat Anantharam