2390 search results - page 198 / 478 » Architectural Views and Alternatives |
160
click to vote
COGSCI
2008
15 years 6 months ago
2008
According to the Perceptual Symbols Theory of cognition (Barsalou, 1999), modality-specific simulations underlie the representation of concepts. A strong prediction of this view i...
132
click to vote
DAM
2008
15 years 6 months ago
2008
We interpret the reciprocation process in K[[x]] as a fixed point problem related to contractive functions for certain adequate ultrametric spaces. This allows us to give a dynamic...
143
click to vote
EOR
2006
15 years 6 months ago
2006
The problem of routing and wavelength assignment in all-optical networks may be solved by a combined approach involving the computation of alternative routes for the lightpaths, f...
145
click to vote
EOR
2006
15 years 6 months ago
2006
In this paper, we provide a heuristic procedure, that performs well from a global optimality point of view, for an important and difficult class of bilevel programs. The algorithm...
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...