1996 search results - page 290 / 400 » A decision procedure for linear |
161
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
180
click to vote
IS4TH
2003
Springer
15 years 11 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...
169
click to vote
ICTAI
2002
IEEE
15 years 11 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 ...
147
click to vote
SIGMOD
2010
ACM
15 years 11 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...
175
click to vote
DEON
2010
Springer
15 years 11 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...