2570 search results - page 140 / 514 » The Semantic Web And Its Languages |
125
click to vote
VIP
2003
15 years 7 months ago
2003
The creation of hypertext and World Wide Web provided a powerful mechanism for organizing and distributing the warehouse of information. However, video-based hypermedia may repres...
170
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe the latest version of SIBYLLE, an AAC system that permits persons suffering from severe physical disabilities to enter text with any computer applicatio...
177
click to vote
LICS
1993
IEEE
15 years 10 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
196
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
177
click to vote
RR
2007
Springer
16 years 18 days ago
2007
Springer
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...