10715 search results - page 228 / 2143 » Proofs from Tests |
135
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper introduces a finite memory compactor called convolutional compactor that provides compaction ratios of test responses in excess of 100x even for a very small number of ...
160
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
We present an O(m + n)-time algorithm that tests if a given directed graph is 2-vertex connected, where m is the number of arcs and n is the number of vertices. Based on this resul...
159
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
145
click to vote
IPCV
2008
15 years 8 months ago
2008
We propose one geometric algorithm to solve both the problem of circularity test and the problem of circularity measure. The former problem consists in deciding whether a given di...
160
click to vote
ACL
2010
15 years 4 months ago
2010
This demonstration presents the LinGO Grammar Matrix grammar customization system: a repository of distilled linguistic knowledge and a web-based service which elicits a typologic...