搜索结果: 46-60 共查到“知识库 数据结构”相关记录435条 . 查询时间(1.281 秒)
Soft Scissors : An Interactive Tool for Realtime High Quality Matting
Soft Scissors High Quality Matting
2016/5/24
We present Soft Scissors, an interactive tool for extracting alpha mattes
of foreground objects in realtime. We recently proposed a novel
offline matting algorithm capable of extracting high-quality...
Sizing the Horizon: The Effects of Chart Size and Layering on the Graphical Perception of Time Series Visualizations
Visualization graphical perception time series line charts, horizon graphs
2016/5/24
We investigate techniques for visualizing time series data
and evaluate their effect in value comparison tasks. We
compare line charts with horizon graphs—a space-efficient
time series visualizatio...
Data Structure Fusion
Data Structure
2016/5/24
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are speci-fie...
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data typ...
Stochastic Superoptimization
64-bit x86 x86-64 Binary Markov Chain Monte Carlo MCMC Stochastic Search Superoptimization SMT
2016/5/24
We formulate the loop-free binary superoptimization task as a stochastic search problem. The competing constraints of transformation correctness and performance improvement are encoded as terms in a c...
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
Edge-Based Image Coarsening
image representation bilateral filtering gradient domain techniques
2016/5/24
This paper presents a new dimensionally-reduced linear image space that allows a number of recent
image manipulation techniques to be performed efficiently and robustly. The basis vectors
spanning t...
Language Support for Dynamic, Hierarchical Data Partitioning
Legion regions type system independence aliasing hierarchical scheduling
2016/5/24
Applications written for distributed-memory parallel architectures must partition their data to enable parallel execution.As memory hierarchies become deeper, it is increasingly necessary that the dat...
Authoring Multi-Stage Code Examples with Editable Code Histories
Examples tutorials programming editable histories
2016/5/24
Multi-stage code examples present multiple versions of a program
where each stage increases the overall complexity of the
code. In order to acquire strategies of program construction
using a new la...
Verifying Atomicity via Data Independence
concurrency linearizability verification composed operations dataindependence collections
2016/5/24
We present a technique for automatically verifying atomicity of composed concurrent operations. The main observation behind our approach is that many composed concurrent operations which occur in prac...
Towards Asynchornous Many-Task In Situ Data Analysis Using Legion
Programming Models Asynchronous ManyTask Parallel Computing Computational Statistics
2016/5/24
We explore the use of asynchronous many-task (AMT) programming models for the implementation of in situ analysis towards the goal of maximizing programmer productivity and overall performance on next ...
PIKM 2014: The 7th ACM Workshop for Ph.D. Students in Information and Knowledge Management
CIKM PIKM doctoral consortium Ph.D. forum disser- tations database systems
2016/1/22
PIKM workshop offers to Ph.D. students the possibility to bring their work to an international and interdisciplinary re-search community, and create a network of young researchers to exchange and deve...
Cryptography with Streaming Algorithms
streaming lower bound big data randomized encoding non-black-box PRG PKE
2016/1/22
We put forth the question of whether cryptography is fea-sible using streaming devices. We give constructions and prove lower bounds. In streaming cryptography (not to be confused with stream-ciphers)...
Constructing Structure Ensembles of Intrinsically Disordered Proteins from Chemical Shift Data
Constructing Structure Ensembles Intrinsically Disordered Proteins Chemical Shift Data
2016/1/22
Modeling the structural ensemble of intrinsically disordered proteins (IDPs),which lack fixed structures, is essential in understanding their cellular functions and re-vealingtheirregulationmechanisms...