858 search results - page 155 / 172 » One Is Enough! |
TABLEAUX
2000
Springer
14 years 11 days ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
JSSPP
1995
Springer
14 years 11 days ago
1995
Springer
During the past ve years scientists discovered that modern UNIX workstations connected with ethernet and ber networks could provide enough computational performance to compete wit...
PLDI
1995
ACM
14 years 11 days ago
1995
ACM
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing othe...
EDBT
2010
ACM
14 years 4 days ago
2010
ACM
Online Analytical Processing (OLAP) is a popular technique for explorative data analysis. Usually, a fixed set of dimensions (such as time, place, etc.) is used to explore and ana...
HUC
2009
Springer
14 years 2 days ago
2009
Springer
In 2007, approximately 30% of US adults were obese, with related health care costs exceeding 100 billion dollars. Clearly, the obesity epidemic represents a growing societal conce...