Sciweavers

5451 search results - page 250 / 1091
» Typed Operational Semantics
Sort
View
ENTCS
2006
137views more  ENTCS 2006»
15 years 4 months ago
Coinductive Field of Exact Real Numbers and General Corecursion
In this article we present a method to define algebraic structure (field operations) on a representation of real numbers by coinductive streams. The field operations will be given...
Milad Niqui
SEMCO
2009
IEEE
15 years 11 months ago
Understanding Implicit Entities and Events with Getaruns
- Semantic processing represents the new challenge for all applications that require text understanding, as for instance Q/A. In this paper we will highlight the need to couple sta...
Rodolfo Delmonte
DOCENG
2006
ACM
15 years 10 months ago
Templates, microformats and structured editing
Microformats and semantic XHTML add semantics to web pages while taking advantage of the existing (X)HTML infrastructure. This approach enables new applications that can be deploy...
Francesc Campoy Flores, Vincent Quint, Irèn...
LREC
2008
216views Education» more  LREC 2008»
15 years 5 months ago
Towards Semi Automatic Construction of a Lexical Ontology for Persian
Lexical ontologies and semantic lexicons are important resources in natural language processing. They are used in various tasks and applications, especially where semantic process...
Mehrnoush Shamsfard
ICIP
2009
IEEE
16 years 5 months ago
Physics-based Illuminant Color Estimation As An Image Semantics Clue
Most algorithms for extracting illuminant chromaticity from arbitrary images, such as the images found on the web, are based on machine learning techniques. We will show how a phy...