13977 search results - page 732 / 2796 » Evolution in complex systems |
213
click to vote
ASE
2004
15 years 7 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
192
click to vote
CSCW
2004
ACM
15 years 7 months ago
2004
ACM
In their cooperative effort, architects depend critically on elaborate coordinative practices and artifacts. The article presents, on the basis of an in-depth study of architectura...
175
click to vote
ISJ
2000
15 years 7 months ago
2000
The last dozen years have seen a considerable investment of resources into the research and development of Group Support Systems (GSS) technology. This paper describes how a GSS w...
178
Voted
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we show that the problem of detection and localization of multiple targets in a bistatic MIMO radar system can be solved by Parallel Factor (PARAFAC) analysis. Our ...
155
click to vote
TFS
2010
15 years 2 months ago
2010
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...