Sciweavers

9444 search results - page 232 / 1889
» The Language Model LMNtal
Sort
View
EACL
2009
ACL Anthology
16 years 7 months ago
A Robust and Extensible Exemplar-Based Model of Thematic Fit
Bram Vandekerckhove, Dominiek Sandra, Walter Daele...
PLDI
2012
ACM
13 years 9 months ago
The implicit calculus: a new foundation for generic programming
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Ch...
IFIP
2009
Springer
15 years 4 months ago
Model Checking of Security-Sensitive Business Processes
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
Alessandro Armando, Serena Elisa Ponta
JMLR
2012
13 years 9 months ago
Generic Methods for Optimization-Based Modeling
“Energy” models for continuous domains can be applied to many problems, but often suffer from high computational expense in training, due to the need to repeatedly minimize t...
Justin Domke
CAISE
2008
Springer
15 years 8 months ago
AutoModelGen: A Generic Data Level Implementation of ModelGen
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
Andrew Smith, Peter McBrien