Sciweavers

490 search results - page 38 / 98
» Operations on Records
Sort
View
IJDE
2007
105views more  IJDE 2007»
13 years 7 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
PCM
2009
Springer
184views Multimedia» more  PCM 2009»
14 years 2 months ago
Immersive Mixed Media Augmented Reality Applications and Technology
In this paper I will outline an augmented reality system based on high resolution omni-directional motion image capture, an immersive interactive projection environment, the iDome ...
Volker Kuchelmeister, Jeffrey Shaw, Matthew McGini...
ECOOP
1999
Springer
14 years 8 hour ago
Foundations for Virtual Types
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
Atsushi Igarashi, Benjamin C. Pierce
CBMS
2009
IEEE
13 years 8 months ago
A system for searching uterine cervix images by visual attributes
Content-based indexing and retrieval is gaining increasing interest in the medical domain with the growing size of medical image databases. We present here a Web-accessible retrie...
Zhiyun Xue, Sameer Antani, L. Rodney Long, George ...
BMCBI
2008
116views more  BMCBI 2008»
13 years 7 months ago
MScanner: a classifier for retrieving Medline citations
Background: Keyword searching through PubMed and other systems is the standard means of retrieving information from Medline. However, ad-hoc retrieval systems do not meet all of t...
Graham L. Poulter, Daniel L. Rubin, Russ B. Altman...