4460 search results - page 736 / 892 » Formal methods for interactive systems |
143
click to vote
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we introduce a new approach to controlling error in hierarchical clustering algorithms for radiosity. The new method ensures that just enough work is done to meet th...
143
click to vote
AAAI
2007
15 years 6 months ago
2007
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. In this paper we propose a mean of performing automated Web service ...
148
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
125
click to vote
LREC
2010
15 years 5 months ago
2010
In this paper, we describe our experience with collecting and creating an annotated corpus of multi-party online conversations in a chat-room environment. This effort is part of a...
133
click to vote
BCSHCI
2009
15 years 5 months ago
2009
This paper presents a comparative analysis of group interaction around two display types, shared and individual, using a `new media' arts application as a way to explore the ...