3318 search results - page 322 / 664 » The Weak Instance Model |
162
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
196
click to vote
APLAS
2001
ACM
15 years 8 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
140
Voted
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more f...
179
click to vote
EVOW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
122
click to vote
EMNLP
2007
15 years 6 months ago
2007
Shallow semantic parsing, the automatic identification and labeling of sentential constituents, has recently received much attention. Our work examines whether semantic role info...