819 search results - page 116 / 164 » Using Assumptions to Distribute CTL Model Checking |
140
click to vote
NIPS
2004
15 years 7 months ago
2004
In this paper we propose a novel method for learning a Mahalanobis distance measure to be used in the KNN classification algorithm. The algorithm directly maximizes a stochastic v...
168
click to vote
CIIT
2004
15 years 7 months ago
2004
In control systems the jitter is a major problem since in a time-varying system the theoretical results for analysis and design of time-invariant systems cannot be used directly. ...
166
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
153
click to vote
SCCC
2007
IEEE
16 years 12 days ago
2007
IEEE
There is no doubt about the increase in popularity of decentralised systems over the classical client-server architecture in distributed applications. These systems are developed ...
145
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...