Sciweavers

1423 search results - page 136 / 285
» Language Modeling for Determiner Selection
Sort
View
INFSOF
2006
120views more  INFSOF 2006»
15 years 2 months ago
A comparison of two approaches to utilizing XML in parametric databases for temporal data
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...
Seo-Young Noh, Shashi K. Gadia
129
Voted
PLDI
2003
ACM
15 years 8 months ago
A provably sound TAL for back-end optimization
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang
123
Voted
EMNLP
2009
15 years 13 days ago
Supervised Learning of a Probabilistic Lexicon of Verb Semantic Classes
The work presented in this paper explores a supervised method for learning a probabilistic model of a lexicon of VerbNet classes. We intend for the probabilistic model to provide ...
Yusuke Miyao, Jun-ichi Tsujii
112
Voted
SIES
2007
IEEE
15 years 9 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
146
Voted
CAV
2009
Springer
177views Hardware» more  CAV 2009»
16 years 3 months ago
Software Transactional Memory on Relaxed Memory Models
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh