12052 search results - page 317 / 2411 » computing 2010 |
197
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
177
click to vote
EC
2010
15 years 4 months ago
2010
The hypervolume indicator serves as a sorting criterion in many recent multi-objective evolutionary algorithms (MOEAs). Typical algorithms remove the solution with the smallest lo...
163
click to vote
BRAIN
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper, a method is proposed for using a simple neurophysiological brain response, the N400 potential, to determine a deeper underlying brain state. The goal is to...
181
click to vote
TAL
2010
Springer
15 years 1 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
166
click to vote
WCNC
2010
IEEE
2010
IEEE
TinyPairing: A Fast and Lightweight Pairing-Based Cryptographic Library for Wireless Sensor Networks
15 years 10 months ago
—Computing Bilinear Pairing on sensor platforms