6293 search results - page 942 / 1259 » Information Flow Testing |
212
click to vote
UIST
2004
ACM
16 years 26 days ago
2004
ACM
In this paper, we describe The Designerʼs Augmented Reality Toolkit (DART). DART is built on top of Macromedia Director, a widely used multimedia development environment. We summ...
210
click to vote
CCS
2004
ACM
16 years 25 days ago
2004
ACM
As network security is a growing concern, system administrators lock down their networks by closing inbound ports and only allowing outbound communication over selected protocols ...
193
click to vote
CCGRID
2003
IEEE
16 years 22 days ago
2003
IEEE
Fixed-parameter tractability (FPT) techniques have recently been successful in solving NP-complete problem instances of practical importance which were too large to be solved with...
182
Voted
SMA
1999
ACM
15 years 11 months ago
1999
ACM
Accurate prediction of the swept volume of a cutting tool is essential in NC verification algorithms for detecting deficiencies in a proposed tool path, such as gouging, undercutt...
199
Voted
CVRMED
1997
Springer
15 years 11 months ago
1997
Springer
The majority of the available rigid registration measures are based on a 2-dimensional histogram of corresponding grey-values in the registered images. This paper shows that these ...