1897 search results - page 200 / 380 » eg 2007 |
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Copy-and-paste, one of the fundamental operations of modern user interfaces, can be performed through various means (e.g. using the keyboard, mouse-based direct manipulation or me...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Ride Connect is a tool integrated into the social networking site Facebook's (www.Facebook.com) event planning feature. Ride Connect helps people coordinate transportation t...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Record matching is the task of identifying records that match the same real world entity. This is a problem of great significance for a variety of business intelligence applicatio...