1604 search results - page 218 / 321 » Development Separation in Lambda-Calculus |
87
Voted
CHI
2000
ACM
15 years 5 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
100
Voted
BIRTHDAY
2000
Springer
15 years 5 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
ML-style modules are valuable in the development and maintenance of large software systems, unfortunately, none of the existing languages support them in a fully satisfactory mann...
109
Voted
MM
1999
ACM
15 years 4 months ago
1999
ACM
—A user’s focus of attention plays an important role in human–computer interaction applications, such as a ubiquitous computing environment and intelligent space, where the u...
100
Voted
ICIP
1999
IEEE
15 years 4 months ago
1999
IEEE
We have been developing a stochastic model for figure-ground separation[9][3][12]. The model selects/constructs theforeground with preferenceforfigures with "moreconvex"...