Sciweavers

928 search results - page 20 / 186
» The degree structure of Weihrauch-reducibility
Sort
View
FUIN
2010
158views more  FUIN 2010»
13 years 6 months ago
Cellular Automata, Decidability and Phasespace
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
Klaus Sutner
ICALP
2005
Springer
14 years 2 months ago
Preservation Under Extensions on Well-Behaved Finite Structures
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent t...
Albert Atserias, Anuj Dawar, Martin Grohe
NAR
2000
109views more  NAR 2000»
13 years 8 months ago
The ASTRAL compendium for protein structure and sequence analysis
The ASTRAL compendium provides several databases and tools to aid in the analysis of protein structures, particularly through the use of their sequences. The SPACI scores included...
Steven E. Brenner, Patrice Koehl, Michael Levitt
3DIM
2007
IEEE
14 years 3 months ago
Surround Structured Lighting for Full Object Scanning
This paper presents a new system for acquiring complete 3D surface models using a single structured light projector, a pair of planar mirrors, and one or more synchronized cameras...
Douglas Lanman, Daniel E. Crispell, Gabriel Taubin
ILP
2005
Springer
14 years 2 months ago
Spatial Clustering of Structured Objects
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
Donato Malerba, Annalisa Appice, Antonio Varlaro, ...