4636 search results - page 81 / 928 » Modelling and Validation with VipTool |
NOMS
2010
IEEE
13 years 6 months ago
2010
IEEE
—Markets arise as an efficient way of organising resources in Cloud Computing scenarios. In Cloud Computing Markets, Brokers that represent both Clients and Service Providers me...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper, to provide a robot with information relative to structure of its environment, we propose a method to recognize types of structural corridor landmarks such as T-junct...
IJIS
2011
12 years 11 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
EMNLP
2009
13 years 5 months ago
2009
In this paper, we propose a novel class of graphs, the tripartite directed acyclic graphs (tDAGs), to model first-order rule feature spaces for sentence pair classification. We in...
ICECCS
2010
IEEE
13 years 6 months ago
2010
IEEE
—We present a model that explains immunological memory as a consequence of the recursive proliferation of reactive and suppressive cells, where the relative proportion of these c...