2004 search results - page 292 / 401 » Comparison of Model Checking Tools for Information Systems |
199
click to vote
BMCBI
2007
15 years 5 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...
156
click to vote
BMCBI
2005
15 years 5 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...
189
Voted
SIGMOD
2012
ACM
13 years 7 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...
145
click to vote
ICRA
2002
IEEE
15 years 10 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...
166
click to vote
CSDA
2008
15 years 5 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,...