Sciweavers

960 search results - page 40 / 192
» Computational Semantics Of Mass Terms
Sort
View
LICS
2008
IEEE
14 years 2 months ago
Reachability Games and Game Semantics: Comparing Nondeterministic Programs
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
Andrzej S. Murawski
COMPLEX
2009
Springer
13 years 11 months ago
Inter-Profile Similarity (IPS): A Method for Semantic Analysis of Online Social Networks
Online Social Networks (OSN) are experiencing an explosive growth rate and are becoming an increasingly important part of people's lives. There is an increasing desire to aid ...
Matt Spear, Xiaoming Lu, Norman S. Matloff, Shyhts...
CHI
2003
ACM
14 years 8 months ago
Human on-line response to target expansion
McGuffin and Balakrishnan (M&B) have recently reported evidence that target expansion during a reaching movement reduces pointing time even if the expansion occurs as late as ...
Michel Beaudouin-Lafon, Shumin Zhai, Stépha...
SAC
2010
ACM
14 years 2 months ago
CAPTCHA smuggling: hijacking web browsing sessions to create CAPTCHA farms
CAPTCHAs protect online resources and services from automated access. From an attacker’s point of view, they are typically perceived as an annoyance that prevents the mass creat...
Manuel Egele, Leyla Bilge, Engin Kirda, Christophe...
GI
2009
Springer
14 years 10 days ago
Activity Recognition using Optical Sensors on Mobile Phones
: Each mobile phone with a built-in CMOS sensor can inherently be seen as sophisticated optical sensor being able to analyze its environment in terms of visual events and its own m...
Michael Wittke, Uwe Jänen, Aret Duraslan, Emr...