10604 search results - page 243 / 2121 » Computational Fluid Dynamics |
126
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...
136
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
117
click to vote
WADS
1995
Springer
15 years 8 months ago
1995
Springer
We examine the problem of transmitting in minimum time a given amount of data between a source and a destination in a network with finite channel capacities and non–zero propaga...
150
click to vote
ERSA
2004
15 years 6 months ago
2004
Abstract-- Technological advances have made FPGAs an attractive platform for the acceleration of complex scientific applications. These applications demand high performance and hig...
160
click to vote
ITSSA
2006
15 years 4 months ago
2006
: This paper investigates the feasibility of employing the Software Agent technology in the highly dynamic and variable context of healthcare emergency coordination and decision-su...