740 search results - page 83 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
128
click to vote
SAMOS
2009
Springer
15 years 8 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
138
Voted
ICWS
2009
IEEE
14 years 11 months ago
2009
IEEE
The WS-BPEL specification focuses on business processes the activities of which are assumed to be interactions with Web services. However, WS-BPEL processes go beyond the orchestr...
120
click to vote
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
Data confidentiality is a major concern in database systems. Encryption is a useful tool for protecting the confidentiality of sensitive data. However, when data is encrypted, perf...
109
click to vote
JMLR
2002
15 years 1 months ago
2002
Approximate Bayesian Gaussian process (GP) classification techniques are powerful nonparametric learning methods, similar in appearance and performance to support vector machines....
113
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...