Sciweavers

8555 search results - page 1500 / 1711
» Property Based Coordination
Sort
View
FUIN
2002
107views more  FUIN 2002»
15 years 6 months ago
Towards an Ontology of Approximate Reason
Abstract. This article introduces structural aspects in an ontology of approximate reason. The basic assumption in this ontology is that approximate reason is a capability of an ag...
James F. Peters, Andrzej Skowron, Jaroslaw Stepani...
SAJ
2000
101views more  SAJ 2000»
15 years 6 months ago
Algebraic results for structured operational semantics
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
Vashti C. Galpin
SIAMJO
2000
108views more  SIAMJO 2000»
15 years 6 months ago
Smooth SQP Methods for Mathematical Programs with Nonlinear Complementarity Constraints
Mathematical programs with nonlinear complementarity constraints are reformulated using better-posed but nonsmooth constraints. We introduce a class of functions, parameterized by...
Houyuan Jiang, Daniel Ralph
AIR
1998
103views more  AIR 1998»
15 years 5 months ago
Tackling Real-Coded Genetic Algorithms: Operators and Tools for Behavioural Analysis
Abstract. Genetic algorithms play a significant role, as search techniques for handling complex spaces, in many fields such as artificial intelligence, engineering, robotic, etc...
Francisco Herrera, Manuel Lozano, José L. V...
DAM
1998
77views more  DAM 1998»
15 years 5 months ago
The Scheduling of Maintenance Service
We study a discrete problem of scheduling activities of several types under the constraint that at most a single activity can be scheduled to any one period. Applications of such ...
Shoshana Anily, Celia A. Glass, Refael Hassin
« Prev « First page 1500 / 1711 Last » Next »