1999 search results - page 287 / 400 » Dependently Typed Grammars |
142
click to vote
IV
2005
IEEE
15 years 12 months ago
2005
IEEE
While searching the Web, the user is often confronted by a great number of results, generally sorted by their rank. These results are then displayed as a succession of ordered lis...
179
click to vote
SAINT
2005
IEEE
15 years 12 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
168
click to vote
SMI
2005
IEEE
15 years 12 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
157
click to vote
WISE
2005
Springer
15 years 12 months ago
2005
Springer
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...
156
click to vote
SBCCI
2005
ACM
15 years 12 months ago
2005
ACM
Gate oxide tunneling current Igate and sub-threshold current Isub dominate the leakage of designs. The latter depends on threshold voltage Vth while Igate vary with the thickness ...