4209 search results - page 337 / 842 » Abstract Dialectical Frameworks |
163
click to vote
IJCNN
2006
IEEE
16 years 21 days 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...
142
click to vote
LICS
2006
IEEE
16 years 21 days 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...
160
click to vote
P2P
2006
IEEE
16 years 21 days 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...
192
click to vote
ACOM
2006
Springer
16 years 20 days 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...
138
click to vote
ASPDAC
2005
ACM
16 years 7 days 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...