8141 search results - page 438 / 1629 » Higher Order Generalization |
169
Voted
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
168
Voted
FROCOS
2005
Springer
16 years 11 days ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
187
Voted
PPDP
2005
Springer
16 years 10 days ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
183
click to vote
SSPR
2004
Springer
16 years 6 days ago
2004
Springer
Model-based image recognition requires a general model of the object that should be detected in an image. In many applications such models are not known a-priori instead of they mu...
170
click to vote
IJCAI
1989
15 years 8 months ago
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...