8874 search results - page 1693 / 1775 » A New Implementation of Automath |
158
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
150
Voted
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
This proposal explores a unified framework to solve Semantic Web tasks that often require similarity measures, such as RDF retrieval, ontology alignment, and semantic service match...
163
Voted
CTRSA
2009
Springer
15 years 7 months ago
2009
Springer
In many applications, it is desirable to work with signatures that are both short, and yet where many messages from different signers be verified very quickly. RSA signatures sati...
179
Voted
DEXA
2009
Springer
15 years 7 months ago
2009
Springer
Data intensive applications in Life Sciences extensively use the Hidden Web as a platform for information sharing. Access to these heterogeneous Hidden Web resources is limited thr...
139
Voted
DEXA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Sensor database is a type of database management system which offers sensor data and stored data in its data model and query languages. In this system, when a user poses ...