Sciweavers

570 search results - page 7 / 114
» SGNET: Implementation insights
Sort
View
69
Voted
ACL
1990
15 years 25 days 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
95
Voted
TOPNOC
2008
14 years 11 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
15 years 1 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
15 years 3 months 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
85
Voted
CP
2008
Springer
15 years 1 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