Sciweavers

9509 search results - page 1635 / 1902
» Complex Event Processing
Sort
View
HASE
2008
IEEE
15 years 6 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
CEC
2010
IEEE
15 years 7 months ago
Classifier-assisted constrained evolutionary optimization for automated geometry selection of orthodontic retraction spring
In orthodontics, retraction springs made of metallic wires are often used to move a tooth with respect to another by the virtue of the spring back effect. Specially selected form o...
Dudy Lim, Yew-Soon Ong, Rachman Setiawan, Muhammad...
AAMAS
2008
Springer
15 years 6 months ago
Task dynamics in self-organising task groups: expertise, motivational, and performance differences of specialists and generalist
Abstract Multi-agent simulation is applied to explore how different types of task variety cause workgroups to change their task allocation accordingly. We studied two groups, gener...
Kees Zoethout, Wander Jager, Eric Molleman
AIS
2010
Springer
15 years 6 months ago
Anticipation and the artificial: aesthetics, ethics, and synthetic life
If complexity is a necessary but not sufficient premise for the existence and expression of the living, anticipation is the distinguishing characteristic of what is alive. Anticipa...
Mihai Nadin
ANOR
2008
106views more  ANOR 2008»
15 years 6 months ago
Application of multi-dimensional procurement auction in single-period inventory models
Procurement is one of the major activities in the Manufacturing Resource Planning (MRP II), which is closely coupled with inventory management. Any improvement in this area will h...
Pooya Farahvash, Tayfur Altiok
« Prev « First page 1635 / 1902 Last » Next »