4211 search results - page 184 / 843 » A formal approach to MASQ |
204
click to vote
IFIP
2007
Springer
16 years 21 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
182
click to vote
RSEISP
2007
Springer
16 years 20 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
163
click to vote
GLVLSI
2006
IEEE
16 years 19 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
177
click to vote
DIGRA
2005
Springer
16 years 3 days ago
2005
Springer
In this contribution, “Interactive Digital Storytelling” is viewed as a hybrid form of game design and cinematic storytelling for the understanding and creation of future lear...
226
click to vote
ICNC
2005
Springer
16 years 2 days ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...