2954 search results - page 8 / 591 » Beyond |
DAC
2005
ACM
14 years 8 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
This paper shares our experience with a strategic design project for defining the key user experience scenarios for utilizing location information available on mobile devices. Whi...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
In this paper, we describe preliminary findings that indicate that managers and non-mangers think about their email differently. We asked three research managers and three researc...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
ACCV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The detection of motion boundaries has been and remains a longstanding challenge in computer vision. In this paper, the recovery of motion boundaries is recast in a broad...