5718 search results - page 889 / 1144 » Modeling Rule Precision |
181
click to vote
AIME
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Clinical Practice Guidelines (CPGs) are increasingly common in clinical medicine for prescribing a set of rules that a physician should follow. Recent interest is in accu...
184
click to vote
BIRTHDAY
2005
Springer
16 years 21 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
175
click to vote
ECAL
2005
Springer
16 years 21 days ago
2005
Springer
In group-living animals, aggregation favours interactions and information exchanges between individuals, and thus allows the emergence of complex collective behaviors. In previous ...
224
click to vote
ICANN
2005
Springer
16 years 20 days ago
2005
Springer
Humans can recognize biological motion from strongly impoverished stimuli, like point-light displays. Although the neural mechanism underlying this robust perceptual process have n...
171
click to vote
SAFECOMP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...