2004 search results - page 292 / 401 » Comparison of Model Checking Tools for Information Systems |
188
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...
148
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...
179
click to vote
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...
139
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
153
click to vote
CSDA
2008
15 years 4 months ago
2008
Tree models are valuable tools for predictive modeling and data mining. Traditional tree-growing methodologies such as CART are known to suffer from problems including greediness,...