2282 search results - page 327 / 457 » Active property checking |
129
Voted
BC
2005
15 years 2 months ago
2005
Weextendthetheoryofself-organizingneuralfields in order to analyze the joint emergence of topography and feature selectivity in primary visual cortex through spontaneous symmetry b...
132
Voted
TMC
2008
15 years 2 months ago
2008
Energy efficiency is one of the major concerns in wireless sensor networks, since it impacts the network lifetime. In this paper, we investigate the relationship between sensor net...
122
Voted
JCS
2010
15 years 1 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
134
Voted
SEMWEB
2010
Springer
15 years 20 days ago
2010
Springer
Popularity and spread of online social networking in recent years has given a great momentum to the study of dynamics and patterns of social interactions. However, these studies ha...
119
Voted
ICWSM
2009
15 years 15 days ago
2009
With an increasing number of people that read, write and comment on blogs, the blogosphere has established itself as an essential medium of communication. A fundamental characteri...