9067 search results - page 656 / 1814 » Adaptive Model Checking |
255
Voted
ICIP
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper we briefly overview emerging trends in `Adaptive Morphology', i.e. work related to the theory and/or applications of image analysis filters, systems, or algorit...
176
click to vote
EDUTAINMENT
2009
Springer
16 years 1 months ago
2009
Springer
Computer games are tremendously successful and this is why the potential of using this medium for educational purposes is increasingly recognized and researched. However, as new le...
178
Voted
KI
2009
Springer
16 years 1 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
204
Voted
ICNSC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Complex networks have attracted much attention from various fields of sciences and engineering over the last ten years. To reveal the dynamical mechanism of synchronization in...
189
Voted
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
An autonomic problem determination system can adapt to changing environments, react to existing or new error condition and predict possible problems. In this report, we propose su...