218 search results - page 36 / 44 » Formal Analysis and Automatic Generation of User Interfaces:... |
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
An ever-increasing amount of information on the Web today is available only through search interfaces: the users have to type in a set of keywords in a search form in order to acc...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
Information and specifically Web pages may be organized, indexed, searched, and navigated using various metadata aspects, such as keywords, categories (themes), and also space. Wh...
SCA
2007
13 years 10 months ago
2007
In this paper, we present an intuitive interface for interactively posing 3D facial expressions. The user can create and edit facial expressions by drawing freeform strokes, or by...
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
AAAI
2007
13 years 10 months ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...