11063 search results - page 380 / 2213 » On the existence of universal models |
177
click to vote
ICCV
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract. Accurate head tilt detection has a large potential to aid people with disabilities in the use of human-computer interfaces and provide universal access to communication s...
152
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
196
click to vote
VLSID
2005
IEEE
16 years 13 days ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
173
click to vote
DIGRA
2005
Springer
16 years 12 days ago
2005
Springer
We were motivated to consider proposing/adopting a new curriculum by the decrease in student enrolments currently experienced by our computing science programs. This requirement f...
163
click to vote
EPIA
2005
Springer
16 years 11 days ago
2005
Springer
The amount of information about the genome, transcriptome and proteome, forms a problem for the scientific community: how to find the right information in a reasonable amount of ...