2849 search results - page 444 / 570 » As We Should Have Thought |
148
click to vote
BIRTHDAY
1991
Springer
15 years 10 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
180
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
In emerging applications such as location-based services, sensor monitoring and biological management systems, the values of the database items are naturally imprecise. For these ...
158
click to vote
BIRD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Gaussian graphical models are widely used to tackle the important and challenging problem of inferring genetic regulatory networks from expression data. These models have...
168
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
254
click to vote
LBM
2007
15 years 8 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...