Sciweavers

CVPR
2013
IEEE
12 years 1 months ago
3D-Based Reasoning with Blocks, Support, and Stability
3D volumetric reasoning is important for truly understanding a scene. Humans are able to both segment each object in an image, and perceive a rich 3D interpretation of the scene, ...
Zhaoyin Jia, Andrew C. Gallagher, Ashutosh Saxena,...
CUBIST
2013
43views more  CUBIST 2013»
12 years 1 months ago
Formal Concept Analysis as a Framework for Business Intelligence Technologies II
Formal concept analysis (FCA) with measures can be seen as a framework for Business Intelligence technologies. In this paper we introduce new ideas about an OLAP cube. We take a fo...
Juraj Macko
CSP
2013
31views more  CSP 2013»
12 years 1 months ago
DNA Tiles, Wang Tiles and Combinators
In this paper we explore the relation between Wang Tiles and Schonfinkel Combinators in order to investigate Functional Combinators as an programming language for Self-assembly an...
Marco Bellia, M. Eugenia Occhiuto
CSMR
2013
IEEE
12 years 1 months ago
Understanding Widespread Changes: A Taxonomic Study
Abstract—Many active research studies in software engineering, such as detection of recurring bug fixes, detection of copyand-paste bugs, and automated program transformation to...
Shaowei Wang, David Lo, Lingxiao Jiang
CSFW
2013
IEEE
12 years 1 months ago
A Theory of Information-Flow Labels
Abstract—The security literature offers a multitude of calculi, languages, and systems for information-flow control, each with some set of labels encoding security policies that...
Benoît Montagu, Benjamin C. Pierce, Randy Pol...