Sciweavers

5451 search results - page 341 / 1091
» Typed Operational Semantics
Sort
View
ACL
2011
14 years 11 months ago
Which Noun Phrases Denote Which Concepts?
Resolving polysemy and synonymy is required for high-quality information extraction. We present ConceptResolver, a component for the Never-Ending Language Learner (NELL) (Carlson ...
Jayant Krishnamurthy, Tom Mitchell
EMNLP
2011
14 years 7 months ago
Structured Relation Discovery using Generative Models
We explore unsupervised approaches to relation extraction between two named entities; for instance, the semantic bornIn relation between a person and location entity. Concretely, ...
Limin Yao, Aria Haghighi, Sebastian Riedel, Andrew...
RTCSA
2008
IEEE
16 years 1 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
SOCASE
2007
Springer
16 years 1 months ago
Using Goals for Flexible Service Orchestration
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
M. Birna van Riemsdijk, Martin Wirsing
LICS
2002
IEEE
16 years 9 days ago
Polarized Games
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
Olivier Laurent