871 search results - page 170 / 175 » The MathServe System for Semantic Web Reasoning Services |
82
Voted
ADAPTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Despite the fact that adaptive hypermedia techniques have proven their ability to provide user guidance and orientation in hyperspace, we do not currently see the widespread adopti...
111
click to vote
POPL
2011
ACM
14 years 10 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
108
click to vote
BTW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Ontology mapping has been recognised as an important approach to identifying similar information in heterogeneous ontologies. The Knowledge Organisation System Implicit M...
SEMWEB
2001
Springer
15 years 1 months ago
2001
Springer
Ontologies are becoming increasingly prevalent and important in a wide range of e-commerce applications. E-commerce applications are using ontologies to support parametric searches...