4902 search results - page 90 / 981 » Structures, Semantics and Statistics |
129
click to vote
MSCS
2007
15 years 3 months ago
2007
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
194
Voted
KCAP
2011
ACM
14 years 6 months ago
2011
ACM
Some discourse structures such as enumerative structures have typographical, punctuational and laying out characteristics which (1) make them easily identifiable and (2) convey hi...
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Many documentary videos use background music to help structure the content and communicate the semantic. In this paper, we investigate semantic segmentation of documentary video u...
123
click to vote
DASFAA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. The present web is existing in the HTML and XML formats for persons to browse. Recently there is a trend towards the semantic web where the information can be can be proc...
108
click to vote
SFM
2004
Springer
15 years 9 months ago
2004
Springer
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...