1655 search results - page 244 / 331 » Stemming in the language modeling framework |
126
Voted
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...
92
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
128
click to vote
DIS
2001
Springer
15 years 5 months ago
2001
Springer
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...
127
Voted
ICFP
2005
ACM
16 years 17 days ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
119
Voted
WCRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...