819 search results - page 116 / 164 » Using Assumptions to Distribute CTL Model Checking |
108
click to vote
NIPS
2004
15 years 3 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...
118
Voted
CIIT
2004
15 years 3 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. ...
126
click to vote
CORR
2004
Springer
15 years 2 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...
SCCC
2007
IEEE
15 years 8 months 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 ...
112
Voted
FM
2006
Springer
15 years 6 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...