Sciweavers

390 search results - page 64 / 78
» Virtual Attribute Subsetting
Sort
View
CGF
2010
139views more  CGF 2010»
15 years 1 months ago
Visualization of Large-Scale Urban Models through Multi-Level Relief Impostors
In this paper, we present an efficient approach for the interactive rendering of large-scale urban models, which can be integrated seamlessly with virtual globe applications. Our ...
Carlos Andújar, Pere Brunet, Antoni Chica, ...
CPAIOR
2009
Springer
16 years 1 months ago
Modelling Search Strategies in Rules2CP
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
François Fages, Julien Martin
FOCS
2008
IEEE
16 years 26 days ago
Near-Optimal Sparse Recovery in the L1 Norm
Abstract— We consider the approximate sparse recovery problem, where the goal is to (approximately) recover a highdimensional vector x ∈ Rn from its lower-dimensional sketch Ax...
Piotr Indyk, Milan Ruzic
GECCO
2007
Springer
163views Optimization» more  GECCO 2007»
16 years 17 days ago
Exploring medical data using visual spaces with genetic programming and implicit functional mappings
Two medical data sets (Breast cancer and Colon cancer) are investigated within a visual data mining paradigm through the unsupervised construction of virtual reality spaces using ...
Julio J. Valdés, Robert Orchard, Alan J. Ba...
APLAS
2006
ACM
16 years 12 days ago
A Bytecode Logic for JML and Types
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
Lennart Beringer, Martin Hofmann