539 search results - page 72 / 108 » The Semantic Gap of Formalized Meaning |
130
click to vote
ISORC
1998
IEEE
15 years 4 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
ER
2006
Springer
15 years 3 months ago
2006
Springer
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
102
click to vote
WADT
2004
Springer
15 years 5 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
116
click to vote
FLAIRS
2008
15 years 2 months ago
2008
One of the major weaknesses of current research on the Semantic Web (SW) is the lack of proper means to represent and reason with uncertainty. A number of recent efforts from the ...
IJCINI
2007
14 years 11 months ago
2007
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...