882 search results - page 125 / 177 » Local Search for Very Large SAT Problems |
256
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Alignment of RNA secondary structures is important in studying functional RNA motifs. In recent years, much progress has been made in RNA motif finding and structure a...
118
click to vote
ISPDC
2005
IEEE
15 years 9 months ago
2005
IEEE
Grid computing accomplishes high throughput computing by using a very large number of unexploited computing resources. We present a parallel method GMRES to solve large sparse lin...
210
click to vote
ICDE
1998
IEEE
16 years 5 months ago
1998
IEEE
We advocate a desktop virtual reality (VR) interface to a geographic information system (GIS). The navigational capability to explore large topographic scenes is a powerful metaph...
160
click to vote
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
Scalable resource discovery services form the core of directory and other middleware services. Scalability requirements preclude centralized solutions. The need to have directory ...
125
click to vote
PUK
2001
15 years 5 months ago
2001
Combination of AI/OR methods is gaining a great deal of attention because many combinatorial problems especially in planning and scheduling areas can be solved by means of combined...