989 search results - page 124 / 198 » Version spaces and the consistency problem |
187
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
261
click to vote
ICDE
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a diff algorithm for XML data. This work is motivated by the support for change control in the context of the Xyleme project that is investigating dynamic warehouses ca...
156
click to vote
RECSYS
2009
ACM
16 years 15 days ago
2009
ACM
Utility or preference elicitation is a critical component in many recommender and decision support systems. However, most frameworks for elicitation assume a predefined set of fe...
149
click to vote
ISCAS
2008
IEEE
16 years 12 days ago
2008
IEEE
—The multiple-input multiple-output (MIMO) radar concept has drawn considerable attention recently. In the traditional single-input multiple-output (SIMO) radar system, the trans...
164
click to vote
TASE
2007
IEEE
16 years 8 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...