Sciweavers

7858 search results - page 1234 / 1572
» Regulatory-Compliant Data Management
Sort
View
CIDR
2009
133views Algorithms» more  CIDR 2009»
15 years 8 months ago
Principles for Inconsistency
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...
Shel Finkelstein, Dean Jacobs, Rainer Brendle
DICTA
2009
15 years 8 months ago
Semantic Image Retrieval Using Region Based Inverted File
Image data is as common as textual data in this digital world. There is an urgent demand of image management tools as efficient as those text search engines. Decades of research on...
Dengsheng Zhang, Md. Monirul Islam, Guojun Lu, Jin...
VRML
2010
ACM
15 years 7 months ago
Remote scientific visualization of progressive 3D meshes with X3D
This paper presents a framework, integrated into the X3D file format, for the streaming of 3D content in the context of remote scientific visualization; a progressive mesh compres...
Adrien Maglo, Ho Lee, Guillaume Lavoué, Chr...
FMICS
2010
Springer
15 years 7 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
AIPR
2008
IEEE
15 years 7 months ago
A spatial feature enhanced MMI algorithm for multi-modal wild-fire image registration
The integration of multi-spectral airborne imagery and geographic data for wildfire and emergency response requires 3D multiple view registration. Registration of maps, visible ima...
Xiaofeng Fan, Harvey E. Rhody
« Prev « First page 1234 / 1572 Last » Next »