Sciweavers

1816 search results - page 241 / 364
» Case study in modeling and simulation validation methodology
Sort
View
ENTCS
2002
91views more  ENTCS 2002»
15 years 4 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
ATAL
2005
Springer
15 years 10 months ago
Evaluating the Minority Game strategy in agent role assignments
A team-based competitive environment is a complex multiagent environment, in which agents are required to coordinate with each other not only to enhance their collective behavior,...
Tingting Wang, Jiming Liu
ICRA
2006
IEEE
128views Robotics» more  ICRA 2006»
15 years 10 months ago
Collision Detection of Cylindrical Rigid Bodies for Motion Planning
Abstract— This paper presents a novel methodology for detecting collisions of cylindrically shaped rigid bodies moving in three dimensions. This algorithm uses line geometry and ...
John Ketchell, Pierre M. Larochelle
COR
2006
99views more  COR 2006»
15 years 4 months ago
Artificial neural networks and multicriterion analysis for sustainable irrigation planning
The objective of the present paper is to select the best compromise irrigation planning strategy for the case study of Jayakwadi irrigation project, Maharashtra, India. Four-phase...
K. Srinivasa Raju, D. Nagesh Kumar, Lucien Duckste...
CCE
2004
15 years 4 months ago
Optimal waste reduction and investment planning under uncertainty
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
Aninda Chakraborty, Andres Malcolm, Richard D. Col...