Sciweavers

9455 search results - page 1589 / 1891
» The Modelling Language Zinc
Sort
View
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 5 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
WAIM
2010
Springer
15 years 5 months ago
HyperGraphDB: A Generalized Graph Database
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
Borislav Iordanov
168
Voted
ACL
2010
15 years 4 months ago
Fixed Length Word Suffix for Factored Statistical Machine Translation
Factored Statistical Machine Translation extends the Phrase Based SMT model by allowing each word to be a vector of factors. Experiments have shown effectiveness of many factors, ...
Narjes Sharif Razavian, Stephan Vogel
IWRT
2010
161views Communications» more  IWRT 2010»
15 years 4 months ago
RFID-assisted Product Delivery in Sustainable Supply Chains: A Knowledge-based Approach
The paper proposes an integrated framework which uses knowledge representation theory and languages to annotate relevant product information in a semantically rich and unambiguous ...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...
NAACL
2010
15 years 4 months ago
Distributed Training Strategies for the Structured Perceptron
Perceptron training is widely applied in the natural language processing community for learning complex structured models. Like all structured prediction learning frameworks, the ...
Ryan T. McDonald, Keith Hall, Gideon Mann
« Prev « First page 1589 / 1891 Last » Next »