497 search results - page 24 / 100 » DNA Computing Based on Splicing: Universality Results |
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
ECIS
2003
13 years 9 months ago
2003
The explosion in the use of computers has strengthened the need to address ethical issues in information systems (IS) education. As a result, several IS ethics education framework...
MM
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we present an automatic web image mining system towards building a universal human age estimator based on facial information, which is applicable to all ethnic grou...
DCC
2003
IEEE
14 years 1 months ago
2003
IEEE
—This paper introduces a new high-rate analysis of the multiple description scalar quantizer (MDSQ) with balanced descriptions. The analysis provides insight into the structure o...
SMA
2003
ACM
14 years 29 days ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...