7452 search results - page 349 / 1491 » A Semantics for Multiprocessor Systems |
175
click to vote
AC
2003
Springer
16 years 6 hour ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
146
click to vote
CSL
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
171
click to vote
ACL
2006
15 years 8 months ago
2006
We present a FrameNet-based semantic role labeling system for Swedish text. As training data for the system, we used an annotated corpus that we produced by transferring FrameNet ...
177
click to vote
IJCAI
2003
15 years 8 months ago
2003
The intelligent tutoring system AutoTutor uses latent semantic analysis to evaluate student answers to the tutor's questions. By comparing a student's answer to a set of...
133
click to vote
NAACL
2003
15 years 8 months ago
2003
In this paper we present ONTOSCORE, a system for scoring sets of concepts on the basis of an ontology. We apply our system to the task of scoring alternative speech recognition hy...