198 search results - page 28 / 40 » A New Approach to Abstract Syntax Involving Binders |
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
PERVASIVE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Embedded assessment leverages the capabilities of pervasive computing to advance early detection of health conditions. In this approach, technologies embedded in the home...
EDBT
2004
ACM
14 years 27 days ago
2004
ACM
Abstract. We present a cost-based adaptive clustering method to improve average performance of spatial queries (intersection, containment, enclosure queries) over large collections...
ICFEM
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
AUSAI
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. In this paper, we describe a new approach to information extraction that neatly integrates top-down hypothesis driven information with bottom-up data driven information. ...