Sciweavers

394 search results - page 62 / 79
» Expected Case for Projecting Points
Sort
View
SEFM
2007
IEEE
15 years 3 months ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
81
Voted
FPL
2007
Springer
137views Hardware» more  FPL 2007»
15 years 3 months ago
Multi-processor System-level Synthesis for Multiple Applications on Platform FPGA
Multiprocessor systems-on-chip (MPSoC) are being developed in increasing numbers to support the high number of applications running on modern embedded systems. Designing and progr...
Akash Kumar, Shakith Fernando, Yajun Ha, Bart Mesm...
3DPVT
2006
IEEE
239views Visualization» more  3DPVT 2006»
15 years 3 months ago
Self-Calibration of Multiple Laser Planes for 3D Scene Reconstruction
Self-calibration is one of the most active issues concerning vision-based 3D measurements. However, in the case of the light sectioning method, there has been little research cond...
Ryo Furukawa, Hiroshi Kawasaki
ESCIENCE
2006
IEEE
15 years 3 months ago
Building Simple, Easy-to-Use Grids with Styx Grid Services and SSH
Grid systems have a reputation for being difficult to build and use. We describe how the ease of use of the Styx Grid Services (SGS) software can be combined with the security and...
J. D. Blower, K. Haines
MM
2004
ACM
94views Multimedia» more  MM 2004»
15 years 2 months ago
Planet usher: an interactive home movie
This essay investigates the peculiar situation of a new media project which takes as its raw material the home-video archive of a deaf man gone blind. In an attempt to revive this...
Patrick Tarrant