# Browse by Subject "semantics"

• (1999)

application/pdf

PDF (1Mb)
• (2008-02)
This research presents a novel method for learning the lexical semantics of action verbs. The primary focus is on actions that are directed towards objects, such as kicking a ball or pushing a chair. Specifically, this ...

application/pdf

PDF (2Mb)
• (1999)

application/pdf

PDF (601Kb)
• (1999)

application/pdf

PDF (1Mb)
• (2011-07-17)
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 770 of 776 test programs. It is the most ...

application/pdf

PDF (701Kb)
• (2011-08-25)
In this thesis I examine a variety of linguistic elements which involve alternative'' semantic values---a class arguably including focus, interrogatives, indefinites, and disjunctions---and the connections between these ...

application/pdf

PDF (2Mb)
• (2011-11-22)
This paper describes an executable formal semantics of C expressed using a formalism based on term rewriting. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully ...

application/pdf

PDF (591Kb)
• (1999)

application/pdf

PDF (818Kb)
• (2008-09)
ACM Classification: F.3.2 Semantics of Programming Languages D.2.4 Software/Program Verification D.2.5 Testing and Debugging

application/pdf

PDF (265Kb)
• (IDEAlliance and Mulberry Technologies, Inc, 2003-08-04)
The BECHAMEL system is a knowledge representation and inference environment for expressing and testing semantic rules and constraints for markup languages. Written in Prolog, the system provides predicates for processing ...

application/pdf

PDF (61Kb)
• (2010-08-20)
As the web evolves, increasing quantities of structured information is embedded in web pages in disparate formats. For example, a digital camera’s description may include its price and megapixels whereas a professor’s ...

application/pdf

PDF (567Kb)
• (2010-02-03)
Social bookmarking sites such as Flickr, del.icio.us, and CiteULike have adopted folksonomic systems where users tag entities with keywords. These tagging systems replace traditional taxonomic systems that employ ...

application/pdf

PDF (193Kb)
• (2015-01-21)
In this thesis, we study how semantics can improve image categorization. Previous image categorization approaches mostly neglect semantics, which has two major limitations. First, object classes have semantic overlaps. ...

application/pdf

PDF (1Mb)
• (1999)

application/pdf

PDF (260Kb)
• (1999)

application/pdf

PDF (318Kb)
• (2013-05-24)
In this thesis, I examine the impact of morphological features on semantic role labeling (SRL) in Modern Standard Arabic. This study provides the first rigorous examination of the effect of individual morphological attributes ...

application/pdf

PDF (327Kb)
• (1999)

application/pdf

PDF (844Kb)
• (1999)

application/pdf

PDF (445Kb)
• (University of Washington, 2003-10)
By "identity conditions" we mean a method for determining whether an object x and an object y are the same object. Identity conditions are arguably an essential feature of any rigorously developed conceptual framework for ...

application/pdf

PDF (56Kb)
• (1998)

application/pdf

PDF (2Mb)