4266 search results - page 561 / 854 » Search for More Declarativity |
195
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
The field of biomedicine has embraced the Semantic Web probably more than any other field. As a result, there is a large number of biomedical ontologies covering overlapping area...
189
click to vote
CIVR
2007
Springer
16 years 27 days ago
2007
Springer
Online image repositories such as Flickr contain hundreds of millions of images and are growing quickly. Along with that the needs for supporting indexing, searching and browsing ...
198
click to vote
CSL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
178
click to vote
MM
2006
ACM
16 years 21 days ago
2006
ACM
With the popularity of both travel and Web, more and more people use online travel services to facilitate their travel activities or share their travel experiences. Considering th...
183
click to vote
BROADNETS
2005
IEEE
16 years 11 days ago
2005
IEEE
— Ethernet over SONET (EoS) is a popular approach for interconnecting geographically distant Ethernet segments using a SONET transport infrastructure. It typically uses virtual c...