Sciweavers

950 search results - page 125 / 190
» Data Integration Using DataPile Structure
Sort
View
NLDB
2005
Springer
15 years 8 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
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 6 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
CAV
2006
Springer
116views Hardware» more  CAV 2006»
15 years 6 months ago
Lazy Shape Analysis
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
ESWS
2008
Springer
15 years 4 months ago
Numeric reasoning in the Semantic Web
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
Chimène Fankam, Stéphane Jean, Guy P...
IADIS
2008
15 years 3 months ago
Customer Insights from Transactional Database: Database Marketing Case
Marketing databases are currently one of the most important resources in any marketing departments. Regarding their customer knowledge needs many of them had develop their own dat...
Filipe Mota Pinto, Alzira Ascensão Marques,...