3433 search results - page 381 / 687 » Heuristics for a bidding problem |
178
click to vote
ICSE
2003
IEEE-ACM
16 years 22 hour ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
152
click to vote
INFOCOM
2002
IEEE
2002
IEEE
Routing and Wavelength Assignment in WDM Rings with Heterogeneous Wavelength Conversion Capabilities
15 years 11 months ago
—In this paper, we study the routing and wavelength assignment (RWA) tasks in WDM rings with heterogeneous wavelength conversion capabilities. By heterogeneous, we mean that diff...
185
click to vote
RECOMB
2001
Springer
15 years 11 months ago
2001
Springer
Two different approaches to determining the human genome are currently being pursued: one is the “clone-by-clone” approach, employed by the publicly-funded Human Genome Proje...
177
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
186
click to vote
ICTAI
1994
IEEE
15 years 11 months ago
1994
IEEE
A distributed problem solving approach to job shop scheduling is described in this paper. The approach views the system as an Organisation. Agents are assigned di erent roles and ...