1964 search results - page 319 / 393 » informs 2011 |
167
Voted
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
153
click to vote
CEC
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...
223
click to vote
CIE
2011
Springer
14 years 4 months ago
2011
Springer
Automatic classes are classes of languages for which a finite automaton can decide whether a given element is in a set given by its index. The present work studies the learnabilit...
149
Voted
COMSUR
2011
14 years 3 months ago
2011
Interference is an unavoidable property of the wireless communication medium and, in sensor networks, such interference is exacerbated due to the energy-starved nature of the netw...
167
click to vote
DCOSS
2011
Springer
14 years 3 months ago
2011
Springer
—The need to monitor groups of mobile entities arises in many application contexts. Examples include the study of the social behavior of humans and wildlife, the shepherding of l...