3552 search results - page 535 / 711 » Proof theory in the abstract |
180
click to vote
FROCOS
2005
Springer
16 years 21 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
216
click to vote
HYBRID
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
178
click to vote
ICCS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We propose the use of programmable Grid resource partitioning heuristics in the context of a distributed service Grid management architecture. The architecture is capable...
214
click to vote
ICNC
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Self-Organizing Maps (SOM) is a powerful tool for clustering and discovering patterns in data. Competitive learning in the SOM training process focusses on finding a neu...
155
click to vote
ILP
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...