1805 search results - page 276 / 361 » A Theory of Closure Operators |
148
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
162
click to vote
HAPTICS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a new technique for allowing multiple users to haptically interact with a set of deformable slowly-simulated objects in a stable manner. Stability has been ap...
121
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...
125
click to vote
ICIP
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose to use approximations of shape metrics, such as the Hausdorff distance, to define similarity measures between shapes. Our approximations being continuous and different...
133
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
-We solve the problem of time-optimal network queue control: what are the input data rates that make network queue sizes converge to their ideal size in the least possible time aft...