Sciweavers

2214 search results - page 261 / 443
» Complexity of Reasoning
Sort
View
110
Voted
ICCV
2011
IEEE
14 years 3 months ago
Predicting Occupation via Human Clothing and Contexts
Predicting human occupations in photos has great application potentials in intelligent services and systems. However, using traditional classification methods cannot reliably dis...
Zheng Song, Meng Wang, Xian-Sheng Hua, Shuicheng Y...
CGF
2007
128views more  CGF 2007»
15 years 3 months ago
Stackless KD-Tree Traversal for High Performance GPU Ray Tracing
Significant advances have been achieved for realtime ray tracing recently, but realtime performance for complex scenes still requires large computational resources not yet availa...
Stefan Popov, Johannes Günther, Hans-Peter Se...
150
Voted
FAC
2010
121views more  FAC 2010»
15 years 29 days ago
Blaming the client: on data refinement in the presence of pointers
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith...
156
Voted
DBPL
2005
Springer
143views Database» more  DBPL 2005»
15 years 9 months ago
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...
Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...
154
Voted
IEEEVAST
2010
14 years 10 months ago
Geo-historical context support for information foraging and sensemaking: Conceptual model, implementation, and assessment
Information foraging and sensemaking with heterogeneous information are context-dependent activities. Thus visual analytics tools to support these activities must incorporate cont...
Brian M. Tomaszewski, Alan M. MacEachren