Sciweavers

2440 search results - page 343 / 488
» Explanation-Based Feature Construction
Sort
View
PPDP
2007
Springer
16 years 1 months ago
Putting declarative programming into the web: translating curry to javascript
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...
Michael Hanus
163
Voted
RR
2007
Springer
16 years 1 months ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans
170
Voted
TACAS
2007
Springer
131views Algorithms» more  TACAS 2007»
16 years 1 months ago
From Time Petri Nets to Timed Automata: An Untimed Approach
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
Davide D'Aprile, Susanna Donatelli, Arnaud Sangnie...
227
Voted
WEBI
2007
Springer
16 years 1 months ago
Measuring Semantic Similarity between Named Entities by Searching the Web Directory
The importance of named entities in information retrieval and knowledge management has recently brought interest in characterizing semantic relationships between entities. In this...
Jiahui Liu, Larry Birnbaum
AICT
2006
IEEE
100views Communications» more  AICT 2006»
16 years 1 months ago
A Concept Model for Computer-based Spoken Language Tests
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...
Yijian Wu, Wenyun Zhao, Xin Peng, Yunjiao Xue