2672 search results - page 226 / 535 » Hybridizing Concept Languages |
AMTA
1998
Springer
14 years 1 months ago
1998
Springer
The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
14 years 1 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
NLDB
2010
Springer
14 years 1 months ago
2010
Springer
Analysis of blogpost writings is an important and growing research area. Both objective and subjective characteristics of a writer are detected. Words have word meaning that is com...
FDL
2007
IEEE
14 years 1 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
DEON
2006
Springer
14 years 1 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...