1176 search results - page 55 / 236 » iccs 2007 |
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
ICC
2007
IEEE
15 years 2 months ago
2007
IEEE
In this paper, a new strategy is proposed to defend against colluding malicious nodes in a sensor network. The new strategy is based on a new relaxation labeling algorithm to class...
ICCS
2007
Springer
15 years 2 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
130
click to vote
ICCE
2007
14 years 12 months ago
2007
: Problem-based learning (PBL) is becoming increasingly popular in medical education as a means of equipping students with the required clinical reasoning skills. However, faculty ...
ICCE
2007
14 years 12 months ago
2007
: Learning material in multimedia learning environments is frequently made up of text and pictures. Many students, however, have difficulties learning from such material successful...