8099 search results - page 1162 / 1620 » Higher-Order Task Models |
176
click to vote
IFIP12
2009
15 years 4 months ago
2009
The Semantic Web (SW) is an extension to the current Web, enhancing the available information with semantics. RDF, one of the most prominent standards for representing meaning in t...
189
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
SPARQL query composition is difficult for the lay-person or even the experienced bioinformatician in cases where the data model is unfamiliar. Established best-practices and intern...
163
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper focuses on the performance evaluation of the parallel manipulators for milling of composite materials. For this application the most significant performance measurement...
184
click to vote
FUIN
2010
15 years 4 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
170
click to vote
GRID
2010
Springer
15 years 4 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...