2737 search results - page 354 / 548 » interaction 2009 |
211
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
178
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
159
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
165
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
182
click to vote
VR
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a novel calibration framework for multi-projector displays that achieves continuous geometric calibration by estimating and refining the poses of all projectors in an ...