Sciweavers

546 search results - page 102 / 110
» A Semantic Approach to Integrating XML and Structured Data S...
Sort
View
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
14 years 26 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
GIS
2004
ACM
14 years 8 months ago
Grid metadata catalog service-based OGC web registry service
Grid is a promising e-Science infrastructure that promotes and facilitates the sharing and collaboration in the use of distributed heterogeneous resources through Virtual Organiza...
Peisheng Zhao, Aijun Chen, Yang Liu, Liping Di, We...
NLDB
2005
Springer
14 years 1 months ago
Combining Biological Databases and Text Mining to Support New Bioinformatics Applications
Abstract. A large amount of biological knowledge today is only available from full-text research papers. Since neither manual database curators nor users can keep up with the rapid...
René Witte, Christopher J. O. Baker
CVPR
2008
IEEE
14 years 9 months ago
Geo-spatial aerial video processing for scene understanding and object tracking
This paper presents an approach to extracting and using semantic layers from low altitude aerial videos for scene understanding and object tracking. The input video is captured by...
Jiangjian Xiao, Hui Cheng, Feng Han, Harpreet S. S...
CBMS
2004
IEEE
13 years 11 months ago
Toward a Systems Biology Software Toolkit
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
Donald J. Johann, Michael D. McGuigan, Stanimire T...