4209 search results - page 337 / 842 » Abstract Dialectical Frameworks |
187
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Independent subspace analysis (ISA) is a generalization of independent component analysis (ICA), where multidimensional ICA is incorporated with the idea of invariant f...
167
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...
171
click to vote
P2P
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, our experiences so far with developing a platform for mobile P2P applications with the LightPeers framework are presented. We experienced that the use of a role-bas...
221
click to vote
ACOM
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
154
click to vote
ASPDAC
2005
ACM
16 years 1 months ago
2005
ACM
Abstract— This paper proposes an approach to cope with temporal power/ground voltage fluctuation for static timing analysis. The proposed approach replaces temporal noise with a...