3710 search results - page 589 / 742 » A new calculus of contexts |
156
click to vote
JFP
2007
15 years 6 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
165
click to vote
TROB
2008
15 years 6 months ago
2008
Abstract--The increasing demand for virtual reality applications in several scientific disciplines feeds new research perspectives dealing with robotics, automation, and computer s...
160
click to vote
TSP
2008
15 years 6 months ago
2008
In this paper, the problem of joint channel and carrier frequency offset (CFO) estimation is studied in the context of multiple-input multiple-output (MIMO) communications based on...
163
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a new model for multi-issue negotiation under time constraints in an incomplete information setting. The issues to be bargained over can be associated with a s...
181
click to vote
JVCA
2007
15 years 6 months ago
2007
In this paper a new and original technique to animate a crowd of human beings is presented. Following the success of data-driven animation models (such as motion capture) in the c...