6343 search results - page 372 / 1269 » Development of a Cartographic Language |
125
click to vote
FLAIRS
2007
15 years 9 months ago
2007
The paper describes a method of dividing complex sentences into segments, easily detectable and linguistically motivated units, which may provide a basis for further processing of...
231
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
180
click to vote
ACL
2008
15 years 8 months ago
2008
Since facts or statements in a hedge or negated context typically appear as false positives, the proper handling of these language phenomena is of great importance in biomedical t...
128
click to vote
CAINE
2007
15 years 8 months ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
196
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...