615 search results - page 54 / 123 » Completeness of Combinations of Constructor Systems |
171
click to vote
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
127
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
We have proposed a complete system for text detection and localization in gray scale scene images. A boosting framework integrating feature and weak classifier selection based on...
136
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, we present a new approach for service discovery combining semantic web and peer-to-peer techniques. A reference ontology is used to describe and discover services...
157
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
In this work we present a new technique of facial-image retrieval using constrained independent component analysis (cICA). We have employed cICA for the online extraction of those...
133
click to vote
RR
2007
Springer
15 years 10 months ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...