338 search results - page 32 / 68 » Second Generation Benchmarking and Application Oriented Eval... |
134
click to vote
PADO
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
130
click to vote
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
107
click to vote
IEEESCC
2007
IEEE
15 years 8 months ago
2007
IEEE
This dissertation contributes to the services science discipline by examining appropriateness of Language-Action Perspective (LAP) as a theoretical framework for web services, the ...
113
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
A second-generation autonomous music composition tool is developed using Genetic Algorithms. The composition is conducted in two Stages. The first Stage generates and identifies m...
120
click to vote
EMNLP
2009
14 years 11 months ago
2009
Many approaches to unsupervised morphology acquisition incorporate the frequency of character sequences with respect to each other to identify word stems and affixes. This typical...