6527 search results - page 983 / 1306 » On Typing Information Flow |
249
click to vote
SPIESR
2003
15 years 9 months ago
2003
One of the major challenges facing current media management systems and related applications is the so-called ‘‘semantic gap’’ between the rich meaning that a user desires...
212
click to vote
BCSHCI
2009
15 years 8 months ago
2009
Aesthetic features such as animation, 3D interaction, and visual metaphors are becoming commonplace in multimedia search interfaces. However, it is unclear which attributes are ne...
254
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
207
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Motion-based face recognition is a young research topic, inspired mainly by psychological studies on motionbased perception of human faces. Unlike its close relative, appearance-b...
165
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
"One Click Fraud" is an online confidence scam that has been plaguing an increasing number of Japanese Internet users, in spite of new laws and the mobilization of polic...