7988 search results - page 140 / 1598 » A Useful Undecidable Theory |
108
click to vote
MIE
2008
15 years 2 months ago
2008
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...
117
Voted
CORR
2004
Springer
15 years 20 days ago
2004
Springer
We define the concept of dependence among multiple variables using maximum entropy techniques and introduce a graphical notation to denote the dependencies. Direct inference of in...
128
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—Efficient operation of wireless networks and switches requires using simple (and in some cases distributed) scheduling algorithms. In general, simple greedy algorithms (known a...
125
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
BIRTHDAY
2000
Springer
15 years 5 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...