2477 search results - page 247 / 496 » First-Order Interactive Programming |
212
click to vote
CONCUR
2011
Springer
14 years 2 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
131
click to vote
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
In object-based video, the encoding of the video data is decoupled into the encoding of shape, motion and texture information, which enables certain functionalities like content-b...
95
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Widget containers are used everywhere on the Web, for instance as customizable start pages to Web desktops. In this poster, we describe the extension of a widget container with an...
97
Voted
CHI
2008
ACM
16 years 2 months ago
2008
ACM
Arizona State University's Arts, Media, and Engineering Program is currently addressing the need to assess the growth of group creativity in trans-disciplinary collaboration....
CHI
2005
ACM
16 years 2 months ago
2005
ACM
I have been active in SIGCHI since 1983, serving on the Executive Committee and many conference and program committees. After editing ACM TOCHI for six years, I explored the histo...