1398 search results - page 213 / 280 » Ensuring Properties of Interaction Systems |
159
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Fire emergency response requires rapidly processing and communicating information to coordinate teams that protect lives and property. Students studying to become fire emergency r...
173
click to vote
PPDP
2007
Springer
16 years 9 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
196
click to vote
AFRIGRAPH
2006
ACM
16 years 5 days ago
2006
ACM
The computation of high-fidelity images in real-time remains one of the key challenges for computer graphics. Recent work has shown that by understanding the human visual system,...
205
click to vote
IMC
2007
ACM
2007
ACM
I tube, you tube, everybody tubes: analyzing the world's largest user generated content video system
15 years 7 months ago
User Generated Content (UGC) is re-shaping the way people watch video and TV, with millions of video producers and consumers. In particular, UGC sites are creating new viewing pat...
202
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...