Sciweavers

2672 search results - page 305 / 535
» Hybridizing Concept Languages
Sort
View
PLDI
2010
ACM
15 years 8 months ago
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
Matthew Might, Yannis Smaragdakis, David Van Horn
138
Voted
DATESO
2007
107views Database» more  DATESO 2007»
15 years 5 months ago
Updating Typed XML Documents Using a Functional Data Model
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
Pavel Loupal
142
Voted
ANLP
1994
155views more  ANLP 1994»
15 years 5 months ago
Guided Sentences Composition for Disabled People
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
Robert Pasero, Nathalie Richardet, Paul Sabatier
118
Voted
CHI
2001
ACM
16 years 4 months ago
DataTiles: a modular platform for mixed physical and graphical interactions
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
Jun Rekimoto, Brygg Ullmer, Haruo Oba
SIGMOD
2009
ACM
189views Database» more  SIGMOD 2009»
16 years 4 months ago
Generic and effective semi-structured keyword search
Current semi-structured keyword search and natural language query processing systems use ad hoc approaches to take advantage of structural information. Although intuitive, they ar...
Arash Termehchy, Marianne Winslett