2647 search results - page 81 / 530 » Solving Term Inequalities |
168
click to vote
FPCA
1995
15 years 7 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
118
Voted
HRI
2009
ACM
15 years 11 months ago
2009
ACM
We describe recent work on PECAS, an architecture for intelligent robotics that supports multi-modal interaction. Categories and Subject Descriptors I.2.8 [Computing Methodologies...
152
click to vote
PARA
2004
Springer
15 years 9 months ago
2004
Springer
Large and sparse rational eigenproblems where the rational term is of low rank k arise in vibrations of fluid–solid structures and of plates with elastically attached loads. Exp...
117
click to vote
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...
163
Voted
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Kernel regression techniques such as Relevance Vector Machine (RVM) regression, Support Vector Regression and Gaussian processes are widely used for solving many computer vision p...