2607 search results - page 326 / 522 » Complete Functional Synthesis |
147
click to vote
UAI
2001
15 years 5 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
133
click to vote
MRC
2003
15 years 5 months ago
2003
This paper describes the Virtual Synergy interface, which combines a three dimensional graphical interface with physical robots to allow for collaboration among multiple human res...
125
click to vote
ECIS
2000
15 years 5 months ago
2000
As electronic commerce will increase, players will increasingly wish to have signed documents and strong encryption. According to current knowledge, it must be expected that the co...
134
click to vote
IWFM
1998
15 years 5 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
134
click to vote
SPIESR
1994
15 years 5 months ago
1994
The design of an electronic archive of digitized images of thousands of x-rays collected as part of nationwide health surveys has raised several issues related to user interface d...