Sciweavers

840 search results - page 89 / 168
» Programming the future
Sort
View
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 15 days ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
EUPROJECTS
2006
Springer
14 years 13 days ago
User Interfaces for Persons with Deafblindness
This paper examines problems persons with deafblindness have when using computers and it analyses how we can approach these problems in the redesign of a communication tool. A qual...
Sara Rutgersson, Mattias Arvola
ATAL
1995
Springer
14 years 10 days ago
Time, Knowledge, and Choice
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
Michael Wooldridge
LREC
2008
125views Education» more  LREC 2008»
13 years 10 months ago
Verb-Noun Collocation SyntLex Dictionary: Corpus-Based Approach
The project presented here is a part of a long term research program aiming at a full lexicon grammar for Polish (SyntLex). The main concern of this project is computer-assisted a...
Grazyna Vetulani, Zygmunt Vetulani, Tomasz Obr&eci...
ACE
2003
80views Education» more  ACE 2003»
13 years 10 months ago
Natural Language Processing in the Undergraduate Curriculum
The paper has two purposes: rst, we argue that natural language processing, and particularly those aspects of that eld often referred to as language technology, should play an imp...
Robert Dale, Diego Mollá Aliod, Rolf Schwit...