4117 search results - page 493 / 824 » On the Satisfiability of Complex Constraints |
167
click to vote
ICECCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—We are developing a concurrent, agent-based approach to complex systems simulation as part of the CoSMoS project. In such simulations an agent’s behaviour can typicall...
181
click to vote
IJFCS
2008
15 years 6 months ago
2008
We present an application of formal concept analysis aimed at representing a meaningful structure of knowledge communities in the form of a lattice-based taxonomy. The taxonomy gr...
142
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--This paper presents an interference suppression scheme for multiuser downlink transmission in severe frequency-selective fading environments. Frequency-domain transmit be...
155
click to vote
COMCOM
2000
15 years 6 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
169
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
There are many different approaches to elicit requirements each having its strengths and weaknesses. Hence, some approaches may be ore suitable to one domain then another. Moreove...