3552 search results - page 535 / 711 » Proof theory in the abstract |
165
click to vote
FROCOS
2005
Springer
16 years 1 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...
196
click to vote
HYBRID
2005
Springer
16 years 1 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...
146
click to vote
ICCS
2005
Springer
16 years 1 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...
195
click to vote
ICNC
2005
Springer
16 years 1 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...
141
click to vote
ILP
2005
Springer
16 years 1 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 ...