1567 search results - page 276 / 314 » A Mechanized Model of the Theory of Objects |
EICS
2009
ACM
15 years 3 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
104
click to vote
WWW
2008
ACM
16 years 14 days ago
2008
ACM
We discuss the use of social networks in implementing viral marketing strategies. While influence maximization has been studied in this context (see Chapter 24 of [10]), we study ...
101
click to vote
STOC
2009
ACM
16 years 12 days ago
2009
ACM
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...
IPCCC
2006
IEEE
15 years 5 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
128
click to vote
ACMACE
2004
ACM
15 years 5 months ago
2004
ACM
This paper discusses the design of audio games, a quite new computer game category that originates from games for players with visual impairments, as well as mainstream music game...