2520 search results - page 417 / 504 » Model-checking behavioral programs |
124
click to vote
CHI
2011
ACM
14 years 5 months ago
2011
ACM
Citizen science projects can collect a wealth of scientific data, but that data is only helpful if it is actually used. While previous citizen science research has mostly focused ...
162
click to vote
HIPEAC
2011
Springer
14 years 1 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
132
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
170
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
102
click to vote
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
Video based analysis of a persons' mood or behavior is in general performed by interpreting various features observed on the body. Facial actions, such as speaking, yawning o...