Sciweavers

5128 search results - page 790 / 1026
» An Efficient Storage Manager
Sort
View
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 4 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
IMCSIT
2010
15 years 4 months ago
Quality Benchmarking Relational Databases and Lucene in the TREC4 Adhoc Task Environment
The present work covers a comparison of the text retrieval qualities of open source relational databases and Lucene, which is a full text search engine library, over English docume...
Ahmet Arslan, Ozgur Yilmazel
SEMWEB
2010
Springer
15 years 4 months ago
Enterprise Data Classification Using Semantic Web Technologies
Organizations today collect and store large amounts of data in various formats and locations. However they are sometimes required to locate all instances of a certain type of data....
David Ben-David, Tamar Domany, Abigail Tarem
ESIAT
2009
IEEE
15 years 4 months ago
Research and Realization of Geospatial Information Service Orchestration Based on BPEL
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
Xiaoliang Meng, Fuling Bian, Yichun Xie
ICIP
2009
IEEE
15 years 4 months ago
K-means based segmentation for real-time zenithal people counting
The paper presents an efficient and reliable approach to automatic people segmentation, tracking and counting, designed for a system with an overhead mounted (zenithal) camera. Up...
Borislav Antic, Dragan Letic, Dubravko Culibrk, Vl...