1003 search results - page 122 / 201 » Type Inference with Inequalities |
140
click to vote
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
142
click to vote
LCN
2000
IEEE
15 years 8 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
163
click to vote
CIKM
2000
Springer
15 years 8 months ago
2000
Springer
—As databases increasingly integrate different types of information such as multimedia, spatial, time-series, and scientific data, it becomes necessary to support efficient retri...
168
click to vote
FPCA
1995
15 years 7 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
142
click to vote
IJAC
2006
15 years 4 months ago
2006
It has been conjectured that in a braid group, or more generally in a Garside group, applying any sequence of monotone equivalences and word reversings can increase the length of a...