4211 search results - page 562 / 843 » Types as Abstract Interpretations |
164
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...
184
click to vote
ICANN
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We have built a realistic computational model of the cerebellum. This model simulates the cerebellar cortex of the size 0.5mm×1mm consisting of several types of neurons,...
210
click to vote
ICCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications such as data dissemination services, information sharing, service discovery, etc...
162
click to vote
ICCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...
206
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...