58 search results - page 6 / 12 » Latex |
SCAM
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we introduce 13 program slicing metrics for C language programs. These metrics use program slice information to measure the size, complexity, coupling, and cohesion...
ICDAR
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a method for the recognition of on-line handwritten commutative diagrams. Diagrams are formed with arrows that join relatively simple mathematical expressions. Diagram ...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we present a solution for “weaving the claim web”, i.e. the creation of knowledge networks via so-called claims stated in scientific publications created with th...
CMMR
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents our work on building low-cost music controllers intended for educational and creative use. The main idea was to build an electronic music controller, including ...
ZUM
2005
Springer
14 years 3 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...