Sciweavers

1529 search results - page 232 / 306
» On the Construction of Ontologies based on Natural Language ...
Sort
View
119
Voted
AOSD
2009
ACM
15 years 7 months ago
Modelling hardware verification concerns specified in the e language: an experience report
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
Darren Galpin, Cormac Driver, Siobhán Clark...
ICFP
2009
ACM
16 years 1 months ago
Safe functional reactive programming through dependent types
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
Neil Sculthorpe, Henrik Nilsson
108
Voted
SIGIR
2006
ACM
15 years 6 months ago
Semantic term matching in axiomatic approaches to information retrieval
A common limitation of many retrieval models, including the recently proposed axiomatic approaches, is that retrieval scores are solely based on exact (i.e., syntactic) matching o...
Hui Fang, ChengXiang Zhai
WEBI
2001
Springer
15 years 5 months ago
An Effective Conversational Agent with User Modeling Based on Bayesian Network
Abstract. Conversational agents interact with users using natural language interface. Especially in Internet space, their role has been recently highlighted as a virtual representa...
Seung-Ik Lee, Chul Sung, Sung-Bae Cho
113
Voted
ESWS
2006
Springer
15 years 4 months ago
RDFBroker: A Signature-Based High-Performance RDF Store
Abstract. Many approaches for RDF stores exist, most of them using very straight-forward techniques to store triples in or mapping RDF Schema classes to database tables. In this pa...
Michael Sintek, Malte Kiesel