5214 search results - page 825 / 1043 » The Online Specialization Problem |
178
click to vote
FINTAL
2006
15 years 10 months ago
2006
Abstract. German compound words pose special problems to statistical machine translation systems: the occurence of each of the components in the training data is not sufficient for...
190
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
169
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In an evolutionary algorithm, the population has a very important role as its size has direct implications regarding solution quality, speed, and reliability. Theoretical studies ...
184
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
The Compute Power Market (CPM) is a market-based resource management and job scheduling system for grid computing on Internet-wide computational resources, particularly low-end pe...
172
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...