1636 search results - page 280 / 328 » Reasoning About Quantum Systems |
175
click to vote
TVCG
2010
15 years 4 months ago
2010
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
155
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
179
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we introduce tag expression, a novel form of preference elicitation that combines elements from tagging and rating systems. Tag expression enables users to apply aff...
236
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
In this paper we introduce visual phrases, complex visual composites like “a person riding a horse”. Visual phrases often display significantly reduced visual complexity comp...
182
Voted
JAR
2010
15 years 27 days ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...