1687 search results - page 304 / 338 » Light Functional Interpretation |
114
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
135
click to vote
WILF
2007
Springer
15 years 8 months ago
2007
Springer
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...
119
Voted
SAINT
2005
IEEE
15 years 7 months ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
100
click to vote
SACMAT
2003
ACM
15 years 7 months ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...
128
Voted
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
With the maturity of GPS, wireless, and Web technologies, increasing amounts of movement data collected from various moving objects, such as animals, vehicles, mobile devices, and...