Sciweavers

2440 search results - page 343 / 488
» Explanation-Based Feature Construction
Sort
View
PPDP
2007
Springer
15 years 10 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
125
Voted
RR
2007
Springer
15 years 10 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
129
Voted
TACAS
2007
Springer
131views Algorithms» more  TACAS 2007»
15 years 10 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...
166
Voted
WEBI
2007
Springer
15 years 10 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»
15 years 10 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