3025 search results - page 190 / 605 » Interaction in the large |
171
Voted
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper introduces a novel image-based rendering method which uses inputs from unstructured cameras and synthesizes free-viewpoint images of high quality. Our method uses a set...
184
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
191
click to vote
RECOMB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Recent genome sequencing studies have shown that the somatic mutations that drive cancer development are distributed across a large number of genes. This mutational heter...
176
click to vote
INTERNET
2006
15 years 6 months ago
2006
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...
163
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Large complex systems (such as Enterprise systems) are often composed of several interacting, independent components. In many such systems, although the behavior of the constituen...