4075 search results - page 657 / 815 » Modeling Distributed Algorithm Using B |
177
click to vote
ISI
2003
Springer
15 years 11 months ago
2003
Springer
Criminals have been using the Internet to distribute a wide range of illegal materials globally in an anonymous manner, making criminal identity tracing difficult in the cybercrime...
188
click to vote
SPAA
1993
ACM
15 years 10 months ago
1993
ACM
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...
165
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Recent studies have investigated how a team of mobile sensors can cope with real world constraints, such as uncertainty in the reward functions, dynamically appearing and disappea...
163
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
170
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
We survey the use of weighted finite-state transducers (WFSTs) in speech recognition. We show that WFSTs provide a common and natural representation for HMM models, context-depend...