1791 search results - page 304 / 359 » Semantics and Complexity of SPARQL |
132
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
Our research focuses on creating and executing large-scale scientific workflows that often involve thousands of computations over distributed, shared resources. We describe an app...
132
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Ontologies such as taxonomies, product catalogs or web directories are heavily used and hence evolve frequently to meet new requirements or to better reflect the current instance d...
124
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
129
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Many AI researchers and cognitive scientists have argued that analogy is the core of cognition. The most influential work on computational modeling of analogy-making is Structure ...