2373 search results - page 227 / 475 » On the Theory of Structural Subtyping |
152
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...
165
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
Generalizing the concept of a Reeb graph, the Reeb space of a multivariate continuous mapping identifies points of the domain that belong to a common component of the preimage of ...
187
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Time is a crucial variable in planning and often requires special attention since it introduces a specific structure along with additional complexity, especially in the case of dec...
163
click to vote
IPCO
2008
15 years 8 months ago
2008
We study the stochastic machine replenishment problem, which is a canonical special case of closed multiclass queuing systems in Markov decision theory. The problem models the sche...
184
click to vote
LREC
2008
15 years 8 months ago
2008
The objective of the Semiotic-based Ontology Evaluation Tool (S-OntoEval) is to evaluate and propose improvements to a given ontological model. The evaluation aims at assessing th...