733 search results - page 82 / 147 » Private inference control |
108
Voted
IMC
2004
ACM
15 years 8 months ago
2004
ACM
Virtual Private Networks provide secure and reliable communication between customer sites. With increase in number and size of VPNs, providers need efficient provisioning techniqu...
135
click to vote
PODS
2011
ACM
14 years 6 months ago
2011
ACM
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as well as the parameter settings and intermediate...
144
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
113
Voted
FDG
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, I will discuss a set of techniques for supporting limited variable binding in behavior-based systems. This adds additional useful expressivity while preserving the ...
IUI
2005
ACM
15 years 9 months ago
2005
ACM
We describe several approaches for using prosodic features of speech and audio localization to control interactive applications. This information can be applied to parameter contr...