Sciweavers

1995 search results - page 75 / 399
» A model for information technologies that can be creative
Sort
View
IAW
2003
IEEE
14 years 2 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
ITNG
2008
IEEE
14 years 3 months ago
GlycoVault: A Bioinformatics Infrastructure for Glycan Pathway Visualization, Analysis and Modeling
Glycan biosynthesis is the process by which glycans are built in the cells. Information about the process is available from several Web accessible databases, published papers, exp...
Shravya Nimmagadda, Amrita Basu, Matthew Eavenson,...
IRFC
2010
Springer
14 years 1 months ago
Knowledge Modeling in Prior Art Search
This study explores the benefits of integrating knowledge representations in prior art patent retrieval. Key to the introduced approach is the utilization of human judgment availa...
Erik Graf, Ingo Frommholz, Mounia Lalmas, Keith va...
VISUAL
1999
Springer
14 years 1 months ago
General Image Database Model
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
Peter L. Stanchev
CAISE
2003
Springer
14 years 2 months ago
Developing Application-Centric Methods
Meta-models and Generic models have been built in the area of Information Systems to facilitate the task of system designers. It de-emphasises the view under which applications are...
Naveen Prakash, M. P. S. Bhatia