Sciweavers

2711 search results - page 415 / 543
» Mapping sequences by parts
Sort
View
ISMVL
2009
IEEE
107views Hardware» more  ISMVL 2009»
16 years 1 months ago
Regular Encodings from Max-CSP into Partial Max-SAT
We define a number of original encodings, called regular encodings, that map Max-CSP instances into Partial MaxSAT instances. First, we obtain new direct and (minimal) support en...
Josep Argelich, Alba Cabiscol, Inês Lynce, F...
VW
2009
Springer
153views Virtual Reality» more  VW 2009»
16 years 1 months ago
Enhancing Presence in Head-Mounted Display Environments by Visual Body Feedback Using Head-Mounted Cameras
—A fully-articulated visual representation of a user in an immersive virtual environment (IVE) can enhance the user’s subjective sense of feeling present in the virtual world. ...
Gerd Bruder, Frank Steinicke, Kai Rothaus, Klaus H...
WSOM
2009
Springer
16 years 1 months ago
Bag-of-Features Codebook Generation by Self-Organisation
Bag of features is a well established technique for the visual categorisation of objects, categories of objects and textures. One of the most important part of this technique is co...
Teemu Kinnunen, Joni-Kristian Kämärä...
SAMOS
2009
Springer
16 years 29 days ago
Experiences with Cell-BE and GPU for Tomography
Tomography is a powerful technique for three-dimensional imaging, that deals with image reconstruction from a series of projection images, acquired along a range of viewing directi...
Sander van der Maar, Kees Joost Batenburg, Jan Sij...
SEMWEB
2009
Springer
16 years 29 days ago
Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples
In this paper, we consider the problem of materializing the complete finite RDFS closure in a scalable manner; this includes those parts of the RDFS closure that are often ignored...
Jesse Weaver, James A. Hendler