269 search results - page 22 / 54 » Templates as Master Keys |
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
DLOG
1996
1996
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
13 years 9 months ago
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
ENTCS
2008
13 years 8 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
CPHYSICS
2007
13 years 8 months ago
2007
We discuss various aspects of programming physics education software in Adobe Flash. Since the authoring environment for Flash is initially developed for non-programmers, it is ea...
MP
2006
13 years 8 months ago
2006
Optimality conditions are derived for problems of minimizing a general measure of deviation of a random variable, with special attention to situations where the random variable cou...