3828 search results - page 585 / 766 » Proof-Based System Engineering Using a Virtual System Model |
174
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
161
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
150
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
157
click to vote
TASLP
2011
15 years 1 months ago
2011
—We present a new technique for joint estimation of the chord progression and the downbeats from an audio file. Musical signals are highly structured in terms of harmony and rhy...
158
click to vote
IJSWIS
2008
15 years 6 months ago
2008
The last few years have seen the emergence of two parallel trends: the first of such trends is set by technologies such as Near Field Communication, 2D Bar codes and RFID that supp...