2542 search results - page 272 / 509 » One step ahead |
146
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
160
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
A long term goal of assistive technology research is to build creative expression applications where subjects can extemporaneously express themselves. Sketch drawing is one form o...
141
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
In several organizations, it has become increasingly popular to document and log the steps that makeup a typical business process. In some situations, a normative workflow model o...
185
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Protein-protein interactions are of great interest to biologists. A variety of high-throughput techniques have been devised, each of which leads to a separate definition of an int...
146
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Portable music players such as Apple's iPod have become ubiquitous in many environments, but one environment in particular has elicited new safety concerns and challenges -in...