8825 search results - page 162 / 1765 » All for one or one for all |
USENIX
2001
15 years 2 months ago
2001
Simultaneous editing is a new method for automating repetitive text editing. After describing a set of regions to edit (the records), the user can edit any one record and see equi...
WORM
2004
15 years 2 months ago
2004
Flash worms follow a precomputed spread tree using prior knowledge of all systems vulnerable to the worm's exploit. In previous work we suggested that a flash worm could satu...
WSCG
2001
15 years 2 months ago
2001
This paper tests the hypothesis that it is possible to build a generic Behavioural Animation system. The paper outlines the four models that form the key elements of a Behavioural...
127
click to vote
VMV
2003
15 years 2 months ago
2003
We present a new algorithm for the computation of volumetric intersections of geometrically complex objects, which can be used for the efficient detection of collisions. Our appr...
IJCAI
1989
15 years 2 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...