1087 search results - page 200 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
109
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
102
click to vote
BPM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...
FCCM
2002
IEEE
15 years 4 months ago
2002
IEEE
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...
COLING
1996
15 years 1 months ago
1996
We describe a bidirectional framework for natural language parsing and generation, using a typedfeatureformalismand an HPSG-based grammar with a parser and generator derived from ...