Sciweavers

541 search results - page 38 / 109
» Language Technology Challenges of a 'Small' Language (Catala...
Sort
View
POPL
2009
ACM
14 years 8 months ago
Unifying type checking and property checking for low-level code
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, ...
VRML
2000
ACM
14 years 12 days ago
3D behavioral model design for simulation and software engineering
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
Paul A. Fishwick
ECOOP
1999
Springer
14 years 9 days ago
Providing Persistent Objects in Distributed Systems
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul ...
EMNLP
2010
13 years 6 months ago
Unsupervised Induction of Tree Substitution Grammars for Dependency Parsing
Inducing a grammar directly from text is one of the oldest and most challenging tasks in Computational Linguistics. Significant progress has been made for inducing dependency gram...
Phil Blunsom, Trevor Cohn
EMNLP
2010
13 years 6 months ago
Jointly Modeling Aspects and Opinions with a MaxEnt-LDA Hybrid
Discovering and summarizing opinions from online reviews is an important and challenging task. A commonly-adopted framework generates structured review summaries with aspects and ...
Wayne Xin Zhao, Jing Jiang, Hongfei Yan, Xiaoming ...