13271 search results - page 154 / 2655 » Computers, Programming, and People |
142
click to vote
CIMAGING
2009
15 years 5 months ago
2009
Dietary intake provides valuable insights for mounting intervention programs for prevention of disease. With growing concern for adolescent obesity, the need to accurately measure...
122
click to vote
COMSNETS
2012
14 years 17 hour ago
2012
Abstract—This paper describes Steptacular, an online interactive incentive system for encouraging people to walk more. A trial offering Steptacular to the employees of Accenture-...
140
click to vote
PARLE
1993
15 years 8 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
118
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
142
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...