2702 search results - page 360 / 541 » Practically Applicable Formal Methods |
116
click to vote
HIKM
2006
ACM
15 years 8 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
136
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Evolutionary analysis provides a formal framework for comparative analysis of genomic and other data. In evolutionary analysis, observed data are treated as the termin...
119
click to vote
KDD
2007
ACM
16 years 2 months ago
2007
ACM
In many practical applications, one is interested in generating a ranked list of items using information mined from continuous streams of data. For example, in the context of comp...
121
click to vote
CCECE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...
119
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Continuous action sets are used in many reinforcement learning (RL) applications in robot control since the control input is continuous. However, discrete action sets a...