2800 search results - page 331 / 560 » Fibrational Control Structures |
131
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
149
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
128
Voted
ISNN
2005
Springer
15 years 9 months ago
2005
Springer
Built on the theories of biological neural network, artificial neural network methods have shown many significant advantages. However, the memory space in an artificial neural chip...
136
Voted
MIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This work proposes an approach for managing multimedia information associated to 3D environments navigated by the user. The influence of context (location, user profile, ...
122
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...