4498 search results - page 368 / 900 » How to Invent Functions |
182
click to vote
DEXAW
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper we present a novel, ontology-based approach to service discovery, which exploits domain knowledge and semantic service descriptions to guide the service discovery pr...
201
click to vote
ICDE
2005
IEEE
16 years 13 days ago
2005
IEEE
Current federated systems deploy cost-based query optimization mechanisms; i.e., the optimizer selects a global query plan with the lowest cost to execute. Thus, cost functions in...
151
click to vote
INFOCOM
2005
IEEE
16 years 12 days ago
2005
IEEE
— In this paper we investigate network design for a wireless service provider using two orthogonal technologies: a WAN technology with uniform spatial coverage and set of LAN acc...
176
click to vote
ISCA
2005
IEEE
16 years 12 days ago
2005
IEEE
Improved branch prediction accuracy is essential to sustaining instruction throughput with today’s deep pipelines. We introduce piecewise linear branch prediction, an idealized ...
213
click to vote
HASKELL
2005
ACM
16 years 11 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...