2742 search results - page 458 / 549 » Deriving Category Theory from Type Theory |
ESEM
2010
ACM
13 years 7 months ago
2010
ACM
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...
VCBM
2010
13 years 3 months ago
2010
The human eye is a biomechanical system. Orbital fat plays an important role in the working of this system, but its behaviour during eye movement is not well understood. To give i...
GIS
2005
ACM
14 years 10 months ago
2005
ACM
Group nearest neighbor (GNN) queries are a relatively new type of operations in spatial database applications. Different from a traditional kNN query which specifies a single quer...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents an approach to automatically optimize the retrieval quality of ranking functions. Taking a Swarm Intelligence perspective, we present a novel method, SwarmRank...
WICON
2008
13 years 10 months ago
2008
In this paper, we discuss key management challenges for seamless handovers across heterogeneous wireless networks. We focus on utilizing existing keying material from previous acc...