6201 search results - page 167 / 1241 » Implementation of Axiomatic Language |
128
click to vote
LREC
2008
15 years 6 months ago
2008
This paper describes the interaction among language resources for an adequate concept annotation of domain texts in several languages. The architecture includes domain ontology, d...
151
click to vote
NLUCS
2004
15 years 6 months ago
2004
An intelligent natural language interface based on Turkish Language is designed for creating Java class skeleton, listing the class and its members. This interface is developed as ...
114
click to vote
CP
2009
Springer
15 years 2 months ago
2009
Springer
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
170
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
134
Voted
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...