Sciweavers

570 search results - page 7 / 114
» SGNET: Implementation insights
Sort
View
ACL
1990
13 years 9 months ago
A Simplified Theory of Tense Representations and Constraints on their Composition
This paper proposes a set of representations for tenses and a set of constraints on how they can be combined in adjunct clauses. The semantics we propose explains the possible mea...
Michael R. Brent
TOPNOC
2008
13 years 8 months ago
Constructive Alignment for Teaching Model-Based Design for Concurrency
"How can we make sure our students learn what we want them to?" is the number one question in teaching. This paper is intended to provide the reader with: i) a general a...
Claus Brabrand
ACL
1998
13 years 9 months ago
The Logical Structure of Binding
A log.ical recasting of B.inding Theory is performed as an enhancing step tor the purpose ot its gull and lean declarative implementation. A new insight on sentential anaptioric p...
António Horta Branco
COOPIS
1998
IEEE
14 years 21 days ago
Context Mediation on Wall Street
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
Allen Moulton, Stuart E. Madnick, Michael Siegel
CP
2008
Springer
13 years 10 months ago
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem
Abstract. This paper engineers a new state-of-the-art Stochastic Local Search (SLS) for the Low Autocorrelation Binary Sequence (LABS) problem. The new SLS solver is obtained with ...
Steven Halim, Roland H. C. Yap, Felix Halim