Sciweavers

3766 search results - page 537 / 754
» Projection for pattern recognition
Sort
View
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
15 years 8 months ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting
AIME
2003
Springer
15 years 8 months ago
NEONATE: Decision Support in the Neonatal Intensive Care Unit - A Preliminary Report
The aim of the NEONATE project is to investigate sub-optimal decision making in the neonatal intensive care unit and to implement decision support tools which will draw the attenti...
Jim Hunter, Gary Ewing, Yvonne Freer, Forbert Logi...
HICSS
2002
IEEE
105views Biometrics» more  HICSS 2002»
15 years 8 months ago
Towards a Tool Support for a Living Software Development Process
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...
CVPR
2000
IEEE
15 years 7 months ago
Catadioptric Self-Calibration
We have assembled a standalone, movable system that can capture long sequences of omnidirectional images (up to 1,500 images at 6.7 Hz and a resolution of 1140 × 1030). The goal ...
Sing Bing Kang
ICMCS
1999
IEEE
134views Multimedia» more  ICMCS 1999»
15 years 7 months ago
Camera Break Detection by Partitioning of 2D Spatio-Temporal Images in MPEG Domain
In this paper, we propose a new approach to detect camera cuts and wipes. The approach projects a video into two images representing the spatio-tempoml continuity of a video life....
Chong-Wah Ngo, Ting-Chuen Pong, Roland T. Chin