5284 search results - page 965 / 1057 » Ontologizing Semantic Relations |
129
Voted
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
148
Voted
IEEEPACT
2007
IEEE
15 years 11 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
118
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
One way to address the continuing performance problem of high-level domain-specific languages, such as Octave or MATLAB, is to compile them to a relatively lower level language f...
132
click to vote
IV
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper reports on the first results of the DOBES project ‘Towards a multimedia dictionary of the Marquesan and Tuamotuan languages of French Polynesia’. Within the framewo...
166
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...