3457 search results - page 260 / 692 » A Symbol Is Not a Symbol |
130
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
144
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
160
click to vote
ISCIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—The notion of affordances was proposed by J.J. Gibson, to refer to the action possibilities offered to the organism by its environment. In a previous formalization, affo...
172
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Recent work has detailed the conditions under which univariate Laurent polynomials have functional decompositions. This paper presents algorithms to compute such univaria...
169
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Using CDMA technology, one has to contend with interference in frequency-selective channels caused by multipath propagation and fading. Transmitter-based methods such as Zero Fo...