3782 search results - page 278 / 757 » Engineering Social Order |
173
click to vote
CSCLP
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
185
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
A novel type of higher order pipelined neural network, the polynomial pipelined neural network, is presented. The network is constructed from a number of higher order neural networ...
129
click to vote
IADIS
2004
15 years 8 months ago
2004
This paper aims to describe a platform that was created for Spanish government in order to unify the different publishers' web site. Working on the principle that the impleme...
200
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
151
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Radio-frequency (RF) MEMS resonators, integrated into CMOS chips, are of great interest to engineers planning the next generation of communication systems. Fast simulations are nec...