13151 search results - page 415 / 2631 » Position based dynamics |
149
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
158
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...
146
click to vote
VL
1994
IEEE
15 years 10 months ago
1994
IEEE
Stretch-A-Sketch is a pen-based drawing program that combines recognition of hand-drawn glyphs with constraint based maintenance of spatial relations. The recognition program iden...
175
click to vote
IJCAI
2001
15 years 7 months ago
2001
We provide technical details about the software and hardware architecture of SETA, a prototype toolkit for the creation of Web stores which personalize the interaction with custom...
130
click to vote
CSDA
2006
15 years 6 months ago
2006
We propose a multivariate methodology based on Functional Gradient Descent to estimate and forecast time-varying expected bond returns. Backtesting our procedure on US monthly dat...