1938 search results - page 245 / 388 » Dependable Software |
GI
2009
Springer
13 years 6 months ago
2009
Springer
: A majority of biodiversity research projects depend on field recording and ecology data. Therefore it is important to provide a seamless and transparent data flow from the field ...
GI
2009
Springer
13 years 6 months ago
2009
Springer
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
ICAC
2009
IEEE
13 years 6 months ago
2009
IEEE
Distributed W-Learning (DWL) is a reinforcement learningbased algorithm for multi-policy optimization in agent-based systems. In this poster we propose the use of DWL for decentra...
IJUFKS
2010
13 years 6 months ago
2010
Interval uncertainty affects our decision making activities on a daily basis making the data structure of intervals of real numbers more and more popular in theoretical models and...
JSAT
2010
13 years 3 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...