Sciweavers

8067 search results - page 685 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
FPL
2008
Springer
126views Hardware» more  FPL 2008»
15 years 8 months ago
Customized Reconfigurable Interconnection Networks for multiple application SOCS
A Customized Reconfigurable Interconnection Network (CRIN) refers to a minimal switching network, yielding routing solutions for any element in a pre-given set of routing requirem...
Hongbing Fan, Jason Ernst, Yu-Liang Wu
AAAI
2006
15 years 8 months ago
A Quadratic Propagator for the Inter-Distance Constraint
We present a new propagator achieving bound consistency for the INTER-DISTANCE constraint. This constraint ensures that, among a set of variables X1, . . . , Xn, the difference be...
Claude-Guy Quimper, Alejandro López-Ortiz, ...
METMBS
2003
128views Mathematics» more  METMBS 2003»
15 years 8 months ago
Genetic Code as a Gray Code Revisited
In this paper we revisit the idea of relating the genetic code to a Gray code. This idea was originally fostered by Rosemary Swanson as a “unifying concept for the amino acid co...
Dragan Bosnacki, Huub M. M. ten Eikelder, Peter A....
AAAI
2000
15 years 8 months ago
Integrating Equivalency Reasoning into Davis-Putnam Procedure
Equivalency clauses (Xors or modulo 2 arithmetics) represent a common structure in the SAT-encoding of many hard real-world problems and constitute a major obstacle to DavisPutnam...
Chu Min Li
AIPS
2009
15 years 8 months ago
Multi-Agent Online Planning with Communication
We propose an online algorithm for planning under uncertainty in multi-agent settings modeled as DEC-POMDPs. The algorithm helps overcome the high computational complexity of solv...
Feng Wu, Shlomo Zilberstein, Xiaoping Chen