2701 search results - page 381 / 541 » On the form of witness terms |
192
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
221
click to vote
TEI
2012
ACM
14 years 2 months ago
2012
ACM
This paper introduces DressUp, a computerized system for designing dresses with 3D input using the form of the human body as a guide. It consists of a body-sized physical mannequi...
182
click to vote
TEI
2012
ACM
14 years 2 months ago
2012
ACM
In this paper, we present a novel device concept that features double-sided displays which can be folded using predefined hinges. The device concept enables users to dynamically a...
221
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
The Route Shepherd tool demonstrates applications of choosing between routing protocol configurations on the basis of rigorouslysupported theory. Splitting the configuration spa...
235
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
The popularity of mobile social networking services (mSNSs) is propelling more and more businesses, especially those in retailing and marketing, into mobile and location-based for...