8874 search results - page 246 / 1775 » A New Implementation of Automath |
161
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Recently, processing of queries on linked data has gained attention. We identify and systematically discuss three main strategies: a bottom-up strategy that discovers new...
153
click to vote
WD
2010
15 years 2 months ago
2010
Abstract--Reliable and secure content distribution in a disruptive environment is a critical challenge due to high mobile and lossy channels. Traditional IP networking and wireless...
169
click to vote
WICON
2010
15 years 2 months ago
2010
Complicated Electronic Medical Records (EMR) systems have created problems in systems regarding an easy implementation and interoperability for a Web-enabled Healthcare Solution, w...
154
click to vote
HCI
2009
15 years 2 months ago
2009
The recent movement by major Web services towards making many application programming interfaces (APIs) available for public use has led to the development of the new MashUp techno...
177
click to vote
ICCS
2009
Springer
15 years 2 months ago
2009
Springer
Protein loop structure modeling is regarded as a mini protein folding problem with significant scientific importance. Efficiently sampling the loop conformation space is a key step...