Sciweavers

9264 search results - page 380 / 1853
» Space Between Languages
Sort
View
COLING
2006
15 years 6 months ago
Geometry and Meaning
and logic defined on certain types of abstract spaces and how that intimate relationship might be exploited when applied in computational linguistics. It is also about an approach ...
C. J. van Rijsbergen
ACL
2010
15 years 4 months ago
Arabic Named Entity Recognition: Using Features Extracted from Noisy Data
Building an accurate Named Entity Recognition (NER) system for languages with complex morphology is a challenging task. In this paper, we present research that explores the featur...
Yassine Benajiba, Imed Zitouni, Mona T. Diab, Paol...
ESOP
2010
Springer
16 years 4 months ago
Stateful Contracts for Affine Types
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
Jesse A. Tov, Riccardo Pucella
POPL
1997
ACM
15 years 11 months ago
First-class Polymorphism with Type Inference
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
Mark P. Jones
PTS
2008
109views Hardware» more  PTS 2008»
15 years 8 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund