1626 search results - page 241 / 326 » Subtyping with Power Types |
111
click to vote
PERVASIVE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Indoor location tracking systems have been a major focus of ubiquitous computing research, and they have much promise to help in collecting objective, real time data for ...
125
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
102
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
143
click to vote
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
155
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
A large variety of image features has been invented for detection of objects of a known class. We propose a framework to optimize the discrimination-efficiency tradeoff in integra...