859 search results - page 46 / 172 » Implementing CMMI using a Combination of Agile Methods |
ICPR
2004
IEEE
16 years 27 days ago
2004
IEEE
In this paper, we are interested in the sender's name extraction in fax cover pages through a machine learning scheme. For this purpose, two analysis methods are implemented ...
CAV
2010
Springer
15 years 2 hour ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
104
click to vote
RTA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
EVOW
2004
Springer
15 years 5 months ago
2004
Springer
This paper shows that it is possible to (1) discover novel implementations of median circuits using evolutionary techniques and (2) find out suitable median circuits in case that ...
FM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...