139 search results - page 2 / 28 » Modeling the invisible college |
IEEECIT
2010
IEEE
13 years 3 months ago
2010
IEEE
—The conventional teaching model is broken in Mode CDIO, in which, with the carrier of project, the educational idea based on project-learning and the principle of teaching integ...
BMVC
2010
13 years 3 months ago
2010
We introduce a stability analysis model for multi-candidate regional and national voting schemes (aka Electoral College and Direct Popular Vote, respectively), which can be expres...
MMSEC
2006
ACM
13 years 11 months ago
2006
ACM
A novel information-hiding methodology denoted as digital invisible ink is introduced. The proposed approach is inspired by the invisible ink in the real world and can be regarded...
DKE
2010
13 years 2 months ago
2010
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...