4573 search results - page 313 / 915 » Automated Reasoning |
182
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
212
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Breast cancer is the second most common form of cancer amongst females and also the fifth most cause of cancer deaths worldwide. In case of this particular type of malignancy, earl...
199
click to vote
AGP
2003
IEEE
16 years 19 hour ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
145
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
174
Voted
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...