8874 search results - page 220 / 1775 » A New Implementation of Automath |
135
click to vote
ANLP
2000
15 years 5 months ago
2000
Information Extraction (IE) systems are commonly based on pattern matching. Adapting an IE system to a new scenario entails the construction of a new pattern base--a timeconsuming...
TIP
1998
15 years 4 months ago
1998
— In this correspondence, we present a general recursive approach for image segmentation by extending Otsu’s method. The new approach has been implemented in the scope of docum...
138
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
144
click to vote
SCOPES
2007
Springer
15 years 10 months ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
ENTCS
2007
15 years 4 months ago
2007
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...