844 search results - page 135 / 169 » Safraless Decision Procedures |
IS4TH
2003
Springer
14 years 1 months ago
2003
Springer
Realistic haptic interaction in volume sculpting is a decisive prerequisite for successful simulation of bone surgery. We present a haptic rendering algorithm, based on a multi-poi...
ICTAI
2002
IEEE
14 years 1 months ago
2002
IEEE
There are many machine learning algorithms currently available. In the 21st century, the problem no longer lies in writing the learner, but in choosing which learners to run on a ...
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Discrimination discovery in databases consists in finding unfair practices against minorities which are hidden in a dataset of historical decisions. The DCUBE system implements t...
DEON
2010
Springer
14 years 1 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
KR
2010
Springer
14 years 1 months ago
2010
Springer
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...