Sciweavers

4390 search results - page 379 / 878
» Part Objects and their Location
Sort
View
CHI
2005
ACM
16 years 7 months ago
Parallel worlds: immersion in location-based experiences
This paper analyses the stages and circumstances for immersion based on quantitative and qualitative feedback from 563 people who took part in a three week long public trial of a ...
Ben J. C. Clayton, Erik Geelhoed, Josephine Reid, ...
COMPSAC
2009
IEEE
16 years 1 months ago
An Integrated Framework for Checking Concurrency-Related Programming Errors
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
Qichang Chen, Liqiang Wang
CSL
2009
Springer
16 years 1 months ago
Expanding the Realm of Systematic Proof Theory
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
Agata Ciabattoni, Lutz Straßburger, Kazushig...
CSMR
2008
IEEE
16 years 1 months ago
Towards Recovering Architectural Concepts Using Latent Semantic Indexing
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
Pieter van der Spek, Steven Klusener, Piërre ...
ICMCS
2008
IEEE
211views Multimedia» more  ICMCS 2008»
16 years 1 months ago
A real-time video surveillance system with human occlusion handling using nonlinear regression
This paper presents a real-time single-camera surveillance system, aiming at detecting and partly analyzing a group of people. A set of moving persons is segmented using a combina...
Jungong Han, Minwei Feng, Peter H. N. de With