1648 search results - page 54 / 330 » Structuring namespace descriptions |
111
click to vote
TSD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A formal prosody description framework is introduced together with its relation to language semantics and NLP. The framework incorporates deep prosodic structures based o...
139
Voted
KRMED
2004
15 years 4 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
112
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
The extended abstract describes a method for recognizing similar sub-parts of objects described by 3D polygonal meshes. The innovation of this method is the coupling of structure a...
137
click to vote
OWLED
2007
15 years 4 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...
137
Voted
ENTCS
2007
15 years 3 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...