4106 search results - page 351 / 822 » A Computational Model for Metric Spaces |
197
click to vote
INFSOF
2007
15 years 6 months ago
2007
An important decision problem in many software projects is when to stop testing and release software for use. For many software products, time to market is critical and therefore ...
138
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit ...
199
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
In this paper we compare and contrast two approaches to Machine Translation (MT): the CMU-UKA Syntax Augmented Machine Translation system (SAMT) and UPC-TALP N-gram-based Statisti...
170
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
170
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...