Sciweavers

2272 search results - page 169 / 455
» Capture Complexity by Partition
Sort
View
TOC
2008
89views more  TOC 2008»
15 years 3 months ago
Norms, XOR Lemmas, and Lower Bounds for Polynomials and Protocols
Abstract: This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and polynomials over GF(2)....
Emanuele Viola, Avi Wigderson
AROBOTS
2004
77views more  AROBOTS 2004»
15 years 3 months ago
Macroscopic Modeling of Aggregation Experiments using Embodied Agents in Teams of Constant and Time-Varying Sizes
In this paper, we present discrete-time, nonspatial, macroscopic models able to capture the dynamics of collective aggregation experiments using groups of embodied agents endowed ...
William Agassounon, Alcherio Martinoli, Kjerstin E...
CG
2004
Springer
15 years 3 months ago
MiniVR: a portable virtual reality system
This paper describes a new virtual reality system designed to be small enough to be totally portable. It is a semiimmersive interaction system based on a movable stereoscopic proj...
Marta Fairén González, Pere Brunet, ...
122
Voted
NAR
2000
117views more  NAR 2000»
15 years 3 months ago
Object-oriented Transcription Factors Database (ooTFD)
ooTFD (object-oriented Transcription Factors Database) is an object-oriented successor to TFD. This database is aimed at capturing information regarding the polypeptide interactio...
David Ghosh
109
Voted
IANDC
1998
72views more  IANDC 1998»
15 years 3 months ago
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
Maria Paola Bonacina, Jieh Hsiang