1838 search results - page 102 / 368 » Process modelling: the deontic way |
117
click to vote
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
The island model for evolutionary algorithms allows to delay the global convergence of the evolution process and encourage diversity. However, solving large size and time-intensiv...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information within a real sensor-based navigation system. The contribution...
FASE
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
103
click to vote
GLVLSI
2000
IEEE
15 years 3 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...