2766 search results - page 153 / 554 » Hybridizing a Logical Framework |
162
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
115
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
133
click to vote
INFORMATICALT
2006
15 years 4 months ago
2006
Recently, genetic algorithms (GAs) and their hybrids have achieved great success in solving difficult combinatorial optimization problems. In this paper, the issues related to the ...
100
click to vote
AIMS
2007
Springer
15 years 10 months ago
2007
Springer
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...
117
click to vote
GC
2004
Springer
15 years 8 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...