6306 search results - page 331 / 1262 » Space, Time, and the Use of Language |
253
Voted
CSCW
2002
ACM
15 years 7 months ago
2002
ACM
We describe a real-time 3-D augmented reality videoconferencing system. With this technology, an observer sees the real world from his viewpoint, but modified so that the image of...
254
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
202
Voted
ENTCS
2007
15 years 7 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
295
click to vote
ICALP
2011
Springer
14 years 11 months ago
2011
Springer
Given an unlabeled, unweighted, and undirected graph with n vertices and small (but not necessarily constant) treewidth k, we consider the problem of preprocessing the graph to bui...
207
click to vote
OOPSLA
2005
Springer
16 years 1 months ago
2005
Springer
Architectural patterns are a key point in architectural documentation. Regrettably, there is poor support for modeling architectural patterns, because the pattern elements are not...