4513 search results - page 646 / 903 » Logic programming with satisfiability |
237
click to vote
TELETRAFFIC
2007
Springer
16 years 17 days ago
2007
Springer
Broadband satellite-based IP networks have been considered as the technology to enable a strong and promising next-generation market. In satellite communication systems, the channe...
157
click to vote
CODES
2006
IEEE
16 years 16 days ago
2006
IEEE
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...
156
click to vote
CSB
2005
IEEE
2005
IEEE
BioNavigation: Using Ontologies to Express Meaningful Navigational Queries Over Biological Resources
16 years 3 days ago
Exploiting the complex maze of publicly available Biological resources to implement scientific data collection pipelines poses a multitude of challenges to biologists in accurate...
153
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
182
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...