3429 search results - page 573 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
104
Voted
LREC
2010
15 years 3 months ago
2010
This paper presents a geometric approach to meaning representation within the framework of continuous mathematics. Meaning representation is a central issue in Natural Language Pr...
131
click to vote
IEE
2008
15 years 2 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
117
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
138
click to vote
KES
2006
Springer
15 years 2 months ago
2006
Springer
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
122
click to vote
CORR
2000
Springer
15 years 2 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...