6770 search results - page 406 / 1354 » How GPUs Work |
165
click to vote
IDT
2010
15 years 3 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
167
click to vote
TEDU
2008
15 years 3 months ago
2008
Recently, many researchers have worked on tabletop systems. One issue with tabletop interfaces is how to control the table without using conventional desktop input devices such as ...
155
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Diversity of skills is good for society, it is also good in problem solving because different people see a problem from several perspectives, so diversity should be good for softw...
149
click to vote
UTP
2010
15 years 3 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
151
click to vote
VIROLOGY
2010
15 years 3 months ago
2010
By looking on how computer security issues are handled today, dealing with numerous and unknown events is not easy. Events need to be normalized, abnormal behaviors must be describ...