Sciweavers

2024 search results - page 161 / 405
» The Meaning of Ordered SOS
Sort
View
ENGL
2008
82views more  ENGL 2008»
15 years 6 months ago
Teachers' Views on Conducting Formative Assessment in Chinese Context
- A new system of curriculum evaluation of formative assessment has been established in secondary education system in China for seven years. Attention has been given to teaching an...
Xuefeng Wang
ENTCS
2008
105views more  ENTCS 2008»
15 years 6 months ago
Checking Equivalence for Reo Networks
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
Tobias Blechmann, Christel Baier
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 6 months ago
Cross-Entropy method: convergence issues for extended implementation
The cross-entropy method (CE) developed by R. Rubinstein is an elegant practical principle for simulating rare events. The method approximates the probability of the rare event by...
Frédéric Dambreville
ENTCS
2006
153views more  ENTCS 2006»
15 years 6 months ago
Multi-Agent System Development Based on Organizations
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
Estefania Argente, Vicente Julián, Vicente ...
CG
2007
Springer
15 years 6 months ago
A 2D-3D visualization support for human-centered rule mining
On account of the enormous amounts of rules that can be produced by data mining algorithms, knowledge post-processing is a difficult stage in an association rule discovery process....
Julien Blanchard, Bruno Pinaud, Pascale Kuntz, Fab...