1310 search results - page 232 / 262 » On a Class of Traceability Codes |
ICDAR
2011
IEEE
13 years 10 months ago
2011
IEEE
—A handwritten Tibetan database, MRG-OHTC, is presented to facilitate the research of online handwritten Tibetan character recognition. The database contains 910 Tibetan characte...
128
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a generic approach for counting subgraphs in a graph. The main idea is to relate counting subgraphs to counting graph homomorphisms. This approach provides new algori...
116
click to vote
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
EUROSYS
2006
ACM
15 years 8 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
OOPSLA
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...