Sciweavers

7921 search results - page 1436 / 1585
» Process Modeling in Web Applications
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 3 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
SAC
2004
ACM
14 years 2 months ago
Integrating similarity-based queries in image DBMSs
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
Solomon Atnafu, Richard Chbeir, David Coquil, Lion...
WCRE
2003
IEEE
14 years 2 months ago
GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
Atif M. Memon, Ishan Banerjee, Adithya Nagarajan
BMCBI
2007
107views more  BMCBI 2007»
13 years 9 months ago
Prediction of potential drug targets based on simple sequence properties
Background: During the past decades, research and development in drug discovery have attracted much attention and efforts. However, only 324 drug targets are known for clinical dr...
Qingliang Li, Luhua Lai
IJCINI
2007
125views more  IJCINI 2007»
13 years 9 months ago
A Unified Approach To Fractal Dimensions
The Cognitive Processes of Abstraction and Formal Inferences J. A. Anderson: A Brain-Like Computer for Cognitive Software Applications: the Resatz Brain Project L. Flax: Cognitive ...
Witold Kinsner
« Prev « First page 1436 / 1585 Last » Next »