1188 search results - page 8 / 238 » Extended Graph Unification |
ILP
2007
Springer
14 years 2 months ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
ICIP
1994
IEEE
14 years 21 days ago
1994
IEEE
We present a new image coding scheme based on an unification of fractal and transform coding. We introduce a generalization of the luminance transformation used by fractal coding ...
TABLEAUX
2000
Springer
14 years 4 days ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
WSC
2008
13 years 11 months ago
2008
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...
WG
2005
Springer
14 years 2 months ago
2005
Springer
The NP-complete Closest 4-Leaf Power problem asks, given an undirected graph, whether it can be modified by at most edge insertions or deletions such that it becomes a 4-leaf powe...