2646 search results - page 298 / 530 » Local Type Inference |
280
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Semantic caching enables mobile clients to answer spatial queries locally by storing the query descriptions together with the results. However, it supports only a limited number o...
171
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
173
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...
183
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Design trade-offs between estimation performance, processing delay and communication cost for a sensor scheduling problem is discussed. We consider a heterogeneous sens...
161
Voted
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Cardiac computational models of electrical conduction, mechanical activation, hemodynamics and metabolism require detailed information about the structural arrangement of function...