Sciweavers

4212 search results - page 614 / 843
» Rights Expression Languages
Sort
View
LCPC
2005
Springer
16 years 21 hour ago
Concurrency Analysis for Parallel Programs with Textually Aligned Barriers
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
Amir Kamil, Katherine A. Yelick
LPNMR
2005
Springer
16 years 20 hour ago
Abduction and Preferences in Linguistics
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
Kathrin Konczak, Ralf Vogel
MLCW
2005
Springer
16 years 19 hour ago
Recognizing Textual Entailment Via Atomic Propositions
Abstract. This paper describes Macquarie University’s Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to...
Elena Akhmatova, Diego Mollá
SOCO
2005
Springer
16 years 9 hour ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
DALT
2005
Springer
15 years 12 months ago
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
Kaiyu Wan, Vasu S. Alagar