21430 search results - page 3947 / 4286 » Abstract Effective Models |
147
click to vote
CSUR
2006
15 years 4 months ago
2006
resents a perspective on existing NoC research. We define the following abstractions: system, network adapter, network, and link to explain and structure the fundamental concepts. ...
122
click to vote
ENTCS
2006
15 years 4 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
160
Voted
ENTCS
2006
15 years 4 months ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
144
click to vote
EOR
2006
15 years 4 months ago
2006
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
155
click to vote
IJPRAI
2008
15 years 4 months ago
2008
unsupervised construction of topological maps, which provide an abstraction of the environment in terms of visual aspects. An unsupervised clustering algorithm is used to represent...