6756 search results - page 348 / 1352 » Distributed Shared State |
124
click to vote
FMSD
2006
15 years 6 months ago
2006
Reductions that aggregate fine-grained transitions into coarser transitions can significantly reduce the cost of automated verification, by reducing the size of the state space. W...
191
click to vote
IOR
2008
15 years 6 months ago
2008
We study a stochastic network that consists of a set of servers processing multiple classes of jobs. Each class of jobs requires a concurrent occupancy of several servers while be...
185
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Groups of collaborative agents within organizations need to achieve goals creating group awareness. This is necessary for groups to act as single entities. The notion of collective...
180
click to vote
IJNSEC
2007
15 years 6 months ago
2007
The recent developments in the mobile technology (mobile phones, middleware) created a need for new methods of protecting the code transmitted through the network. The oldest and ...
237
click to vote
CSL
2011
Springer
15 years 1 months ago
2011
Springer
We describe a new approach to speech recognition, in which all Hidden Markov Model (HMM) states share the same Gaussian Mixture Model (GMM) structure with the same number of Gauss...