1833 search results - page 210 / 367 » Mechanized Verification with Sharing |
163
click to vote
WMCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
There is an inherent tension between the value provided by Location-Based Services (LBSs) and the location-privacy concerns they raise. Unfortunately, users are often forced to ei...
188
click to vote
WAIM
2009
Springer
16 years 1 months ago
2009
Springer
Ontology has been widely adopted as the basis of knowledge sharing and knowledge-based public services. However, ontology construction is a big challenge, especially in collaborati...
169
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
In this paper the authors applied the idea of training multiple tasks simultaneously on a partially shared feed forward network to domain of ontology mapping. A “cross training...
161
click to vote
IEEEIAS
2008
IEEE
16 years 27 days ago
2008
IEEE
In a mobile ubiquitous environment, service interactions between a user device and a service provider should be secure, regardless of the type of device used to access or consume ...
200
click to vote
AFP
2008
Springer
16 years 26 days ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...