Sciweavers

7047 search results - page 387 / 1410
» Focusing on Binding and Computation
Sort
View
AIML
2008
15 years 8 months ago
Topology, connectedness, and modal logic
This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the ef...
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter...
FECS
2007
99views Education» more  FECS 2007»
15 years 8 months ago
Game Design as a Writing Course in the Liberal Arts
- The School of Computer Science, Telecommunications, and Information Systems (CTI) is a technologically-focused college within DePaul University. While DePaul CTI has a large numb...
Amber Settle, Robin Burke, Lucia Dettori
PDPTA
2008
15 years 8 months ago
New Heuristics for Rotation Scheduling
- For an iterative process to be parallelized, the operations that comprise the process must be organized into a correct schedule that will allow the hardware to compute the task. ...
Michael Richter, David Poeschl, Timothy W. O'Neil
NAACL
2007
15 years 8 months ago
Near-Synonym Choice in an Intelligent Thesaurus
An intelligent thesaurus assists a writer with alternative choices of words and orders them by their suitability in the writing context. In this paper we focus on methods for auto...
Diana Zaiu Inkpen
ACL
2004
15 years 8 months ago
Learning to Resolve Bridging References
We use machine learning techniques to find the best combination of local focus and lexical distance features for identifying the anchor of mereological bridging references. We fin...
Massimo Poesio, Rahul Mehta, Axel Maroudas, Janet ...