5550 search results - page 685 / 1110 » Different Approaches to Proof Systems |
172
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
206
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: The Clinical E-Science Framework (CLEF) project has built a system to extract clinically significant information from the textual component of medical records in order...
231
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
204
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Local search is a specialization of the web search that allows users to submit geographically constrained queries. However, one of the challenges for local search engines is to un...
221
click to vote
EDBT
2011
ACM
14 years 10 months ago
2011
ACM
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...