41 search results - page 3 / 9 » Translation and Extension of Concepts Across Languages |
PEPM
2007
ACM
15 years 3 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
COOPIS
2003
IEEE
15 years 2 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
101
click to vote
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...