Sciweavers

1677 search results - page 246 / 336
» On the Completeness of Quantum Computation Models
Sort
View
SIROCCO
2000
15 years 2 months ago
On time versus size for monotone dynamic monopolies in regular topologies
: We consider a well known distributed coloring game played on a simple connected graph: initially, each vertex is colored black or white; at each round, each vertex simultaneously...
Paola Flocchini, Rastislav Kralovic, Alessandro Ro...
ENTCS
2002
113views more  ENTCS 2002»
15 years 1 months ago
An Operational Semantics for Declarative Multi-Paradigm Languages
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
PAMI
2000
127views more  PAMI 2000»
15 years 1 months ago
Geometric Camera Calibration Using Circular Control Points
Modern CCD cameras are usually capable of a spatial accuracy greater than 1/50 of the pixel size. However, such accuracy is not easily attained due to various error sources that c...
Janne Heikkilä
CSCW
1998
ACM
15 years 1 months ago
Community Support for Constructionist Learning
MOOSE Crossing is a text-based virtual reality environment (or “MUD”) designed to be a constructionist learning environment for children ages eight to thirteen. The constructio...
Amy Bruckman
NAR
2011
221views Computer Vision» more  NAR 2011»
14 years 4 months ago
AGRIS: the Arabidopsis Gene Regulatory Information Server, an update
The Arabidopsis Gene Regulatory Information Server (AGRIS; http://arabidopsis.med.ohio-state .edu/) provides a comprehensive resource for gene regulatory studies in the model plan...
Alper Yilmaz, Maria Katherine Mejia-Guerra, Kyle K...