10072 search results - page 1418 / 2015 » Composition of Model Programs |
206
click to vote
WOLLIC
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
197
click to vote
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
The widespread deployment of graphical-user interfaces (GUIs) has increased the overall complexity of testing. A GUI test designer needs to perform the daunting task of adequately...
202
click to vote
UIST
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents a novel interactive system for guiding artists to paint using traditional media and tools. The enabling technology is a multi-projector display capable of cont...
200
click to vote
JCDL
2005
ACM
16 years 24 days ago
2005
ACM
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...
231
click to vote
MOBICOM
2005
ACM
16 years 24 days ago
2005
ACM
We introduce MoB, an infrastructure for collaborative wide-area wireless data services. MoB proposes to change the current model of data services in the following fundamental ways...