9325 search results - page 416 / 1865 » The decentralized implementability problem |
135
Voted
IDA
2003
Springer
15 years 10 months ago
2003
Springer
Because uncertain reasoning is often intractable, it is hard to reason with a large amount of knowledge. One solution to this problem is to specify a set of possible models, some s...
ISCAS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents a study of LO selfmixing and RF gain control issues in direct conversion receivers. In cellular systems, that use continuous time frequency duplexing, these ca...
131
click to vote
CSR
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
137
Voted
EVOW
2001
Springer
15 years 9 months ago
2001
Springer
In this article we investigate the application of iterated local search (ILS) to the single machine total weighted tardiness problem. Our research is inspired by the recently propo...
123
Voted
SPIN
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...