652 search results - page 30 / 131 » Legal Decisions and Integrated Systems |
61
Voted
CIKM
2001
Springer
15 years 2 months ago
2001
Springer
We describe a model-based filtering application that generates candidate case-to-case distinguishing citations. We developed the system to aid editors in identifying indirect rela...
JAR
2006
14 years 9 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
CCS
2010
ACM
14 years 7 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
SIGECOM
2005
ACM
15 years 3 months ago
2005
ACM
In a previously reported user study, we found that users were able to perform decision tradeoff tasks more efficiently and commit considerably fewer errors with the example critiq...
67
Voted
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
— The attainable capacity and integrity of a state-of-the-art broadband multi-carrier communication system is highly sensitive to the accuracy of the information available concer...