Sciweavers

3235 search results - page 379 / 647
» Partial Redundant Modeling
Sort
View
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 9 months ago
Optimal mistuning for improved stability of vehicular platoons
— We consider a decentralized bidirectional control of a platoon of N identical vehicles moving in a straight line. Such problems are known to suffer from poor stability margin a...
Prabir Barooah, Prashant G. Mehta
CANDC
2009
ACM
15 years 9 months ago
The artist loft effect in the clustering 'creative types': a computer simulation
Simulations using a computer model the Evolution Of Culture (EVOC) indicate that the clustering of creative agents decreases the mean fitness of ideas in the short term (when imit...
Stefan Leijnen, Liane Gabora
CSFW
2000
IEEE
15 years 9 months ago
Information Flow Analysis in a Discrete-Time Process Algebra
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...
140
Voted
VISUALIZATION
2000
IEEE
15 years 9 months ago
Multi-resolution dynamic meshes with arbitrary deformations
Multi-resolution techniques and models have been shown to be effective for the display and transmission of large static geometric object. Dynamic environments with internally defo...
Ariel Shamir, Chandrajit L. Bajaj, Valerio Pascucc...
BIRTHDAY
2000
Springer
15 years 9 months ago
Discrete time process algebra with silent step
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
Jos C. M. Baeten, Jan A. Bergstra, Michel A. Renie...