2282 search results - page 348 / 457 » Active property checking |
HYBRID
1998
Springer
14 years 2 months ago
1998
Springer
We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic `point' neurons in neural networks. Complex ...
SIGCSE
1996
ACM
14 years 2 months ago
1996
ACM
lhis paper describes the use of cooperative group learning concepts in support of an undergraduate database mrtnagement course that emphasizes the theoretical and practical aspect...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we present the Behaviosite paradigm, a new approach to affecting the behavior of distributed agents in a multiagent system, which is inspired by biological parasites ...
EUROPAR
2006
Springer
14 years 1 months ago
2006
Springer
We propose coupling based on contracts as a mechanism to address the problem of exchanging information between parties that require information to work together. Specifically, we s...
FMICS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...