4744 search results - page 160 / 949 » Connected Computing |
150
click to vote
ACSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
131
click to vote
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
CCCG
2004
15 years 4 months ago
2004
We study the problem of computing the set of all distant horizons of a terrain, represented as either: the set of all edges that appear in the set of all distant horizons; the con...
138
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...
123
click to vote
IJCAI
1989
15 years 4 months ago
1989
Many artificial intelligence systems implicitly use notions of granularity in reasoning, but there is very little research into granularity itself. An exception is the work of Hob...