5550 search results - page 592 / 1110 » Different Approaches to Proof Systems |
194
click to vote
JSS
2006
15 years 7 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
218
Voted
CONCURRENCY
2000
15 years 7 months ago
2000
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
182
click to vote
NCA
2007
IEEE
15 years 6 months ago
2007
IEEE
: Autonomous neural network systems typically require fast learning and good generalization performance, and there is potentially a trade-off between the two. The use of evolutiona...
201
Voted
PVLDB
2008
15 years 6 months ago
2008
Enterprises may use a service-oriented architecture (SOA) to provide a streamlined interface to their business processes. To scale up the system, each tier in a composite service ...
203
click to vote
ACL
2010
15 years 5 months ago
2010
We present a novel approach to integrate transliteration into Hindi-to-Urdu statistical machine translation. We propose two probabilistic models, based on conditional and joint pr...