7393 search results - page 1227 / 1479 » Synthesis-for-testability using transformations |
135
click to vote
OTM
2004
Springer
15 years 9 months ago
2004
Springer
Exceptionally large amounts of both distributed data and computational resources are becoming available through the Grid. This will enable efficient exchange and processing of very...
148
click to vote
RULEML
2004
Springer
15 years 9 months ago
2004
Springer
RuleML and SWRL are closely related rule markup languages that are growing in popularity particularly within the Semantic Web community. Both are based on XML and as such are more ...
137
click to vote
SSPR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We investigate a number of approaches to pose invariant face recognition. Basically, the methods involve three sequential functions for capturing nonlinear manifolds of f...
153
click to vote
SWAT
2004
Springer
15 years 9 months ago
2004
Springer
We study the following problem: Given a set V of n vertices and a set E of m edge pairs, we define a graph family G(V, E) as the set of graphs that have vertex set V and contain ...
124
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...