27 search results - page 2 / 6 » Integrating parallel interactions into cooperative search |
CHI
2011
ACM
12 years 9 months ago
2011
ACM
This paper presents the design, implementation, and evaluation of an interactive tabletop system that supports co-located meeting capture and asynchronous search and review of pas...
JAR
2006
13 years 6 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
FLAIRS
2001
13 years 7 months ago
2001
Discrete optimization problemsarise throughout many real world domainsincluding planning, decision making, and search. NP-hardin general, these problems require novel approachesto...
ICOODB
2010
13 years 4 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
ICPADS
1998
IEEE
13 years 10 months ago
1998
IEEE
A user-defined telecooperation service (UTS) provides service elements for application-specific communication and cooperation processes as well as integrated means for the service...