834 search results - page 91 / 167 » A Decomposition Technique for Max-CSP |
STACS
2009
Springer
14 years 4 months ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
CSCWD
2009
Springer
14 years 4 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
EPIA
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, we will analyze the behavior of several parameters, namely type of contexts, similarity measures, and word space models, in the task of word similarity extraction fr...
IWINAC
2009
Springer
14 years 4 months ago
2009
Springer
Manifold initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms. This paper reviews key fea...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
—We consider an amplify-and-forward scheme for two-way relaying over OFDM, in which two nodes wish to exchange information via a relay. Assuming full channel knowledge, we perfor...