1855 search results - page 272 / 371 » System Consequence |
AAAI
2007
14 years 12 days ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
AAAI
2008
14 years 12 days ago
2008
We present a computational model, MoralDM, which integrates several AI techniques in order to model recent psychological findings on moral decision-making. Current theories of mor...
WSC
2008
14 years 11 days ago
2008
A problem in health care is the lengthy waiting time for patients to receive an appointment. Long appointment delays cause patient dissatisfaction with the health care clinic and ...
AINA
2008
IEEE
14 years 2 days ago
2008
IEEE
BitTorrent is one of the most well known peer-topeer file sharing applications, accounting for a significant proportion of Internet traffic. Current BitTorrent system builds its o...
CAV
2008
Springer
14 years 2 days ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...