2584 search results - page 311 / 517 » On the Forward Checking Algorithm |
155
Voted
TCS
2010
15 years 1 months ago
2010
We consider a graph-theoretical formalization of the process of gene assembly in ciliates introduced in Ehrenfeucht et al (2003), where a gene is modeled as a signed graph. The ge...
134
Voted
ICRA
2009
IEEE
15 years 10 days ago
2009
IEEE
Maintaining the network connectivity in mobile Multi-Robot Systems (MRSs) is a key issue in many robotic applications. In our view, the solution to this problem consists of two mai...
244
Voted
APWEB
2011
Springer
14 years 9 months ago
2011
Springer
One difficulty in the design of XML Schema is the restriction that the content models should be deterministic, i. e., the Unique Particle Attribution (UPA) constraint, which means ...
207
Voted
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
We present MiniCount, the first efficient sound and complete algorithm for finding maximally contained rewritings of conjunctive queries with count, using conjunctive views with c...
121
click to vote
RECOMB
2009
Springer
16 years 3 months ago
2009
Springer
Finding similar structures from 3-D structure databases of proteins is becoming more and more important issue in the post-genomic molecular biology. To compare 3-D structures of tw...