2917 search results - page 103 / 584 » Satisfying Interaction Constraints |
CPP
2011
12 years 8 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
This paper introduces a technique for viewing text objects under changing size constraints in 2D environments. Our approach automatically combines font size reduction and content ...
NORDICHI
2006
ACM
14 years 2 months ago
2006
ACM
The ixi software is an ongoing interdisciplinary research project. It focuses on the creation of screen-based interfaces as digital musical instruments. The notion of situated cog...
ACL
1998
13 years 10 months ago
1998
Starting from descriptions of French connectives (in particular "donc"---therefore), on the one hand, and aspectual properties of French tenses pass4 simple and imparfai...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...