565 search results - page 76 / 113 » Compositional dynamic test generation |
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
133
click to vote
WCRE
2008
IEEE
15 years 8 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
163
click to vote
EGPGV
2004
Springer
15 years 7 months ago
2004
Springer
We describe a system for the texture-based direct volume visualization of large data sets on a PC cluster equipped with GPUs. The data is partitioned into volume bricks in object ...
177
click to vote
MM
2000
ACM
15 years 6 months ago
2000
ACM
The purpose of this paper is to show how the edge histogram descriptor for MPEG-7 can be efficiently utilized for image matching. Since the edge histogram descriptor recommended f...
107
click to vote
SIGSOFT
1994
ACM
15 years 6 months ago
1994
ACM
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...