412 search results - page 43 / 83 » Modelling Metamorphism by Abstract Interpretation |
122
Voted
JLP
2008
15 years 3 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
108
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Robust robotic manipulation and perception remains a difficult challenge, in particular in unstructured environments. To address this challenge, we propose to couple m...
137
Voted
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
115
Voted
IEAAIE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
139
Voted
AH
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...