Sciweavers

1636 search results - page 184 / 328
» Type-Theoretic Functional Semantics
Sort
View
EMNLP
2008
15 years 5 months ago
Seeded Discovery of Base Relations in Large Corpora
Relationship discovery is the task of identifying salient relationships between named entities in text. We propose novel approaches for two sub-tasks of the problem: identifying t...
Nicholas Andrews, Naren Ramakrishnan
ICWS
2007
IEEE
15 years 5 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal
IMECS
2007
15 years 5 months ago
Development of Contents Management System Based on Light-Weight Ontology
—In the Structuring Nanotechnology Knowledge project, a material-independent platform for supporting development of innovative nano-materials is developed. The platform is called...
Kouji Kozaki, Yoshinobu Kitamura, Riichiro Mizoguc...
EACL
2006
ACL Anthology
15 years 5 months ago
Developments in Affect Detection in E-drama
We report work1 in progress on adding affect-detection to an existing program for virtual dramatic improvisation, monitored by a human director. To partially automate the director...
Li Zhang, John A. Barnden, Robert J. Hendley, Alan...
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 5 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power