6020 search results - page 930 / 1204 » A New Approach to Model Counting |
167
click to vote
OTM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ï¬...
219
click to vote
WCW
2004
Springer
15 years 12 months ago
2004
Springer
As wireless networks increase in popularity, the development of efficient content distribution techniques to meet the growing and constantly changing client demand becomes a necess...
183
click to vote
WER
2004
Springer
15 years 12 months ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
158
click to vote
AMFG
2003
IEEE
15 years 12 months ago
2003
IEEE
Recognition under illumination variations is a challenging problem. The key is to successfully separate the illumination source from the observed appearance. Once separated, what ...
165
click to vote
CSB
2003
IEEE
15 years 12 months ago
2003
IEEE
The design of large scale DNA microarrays is a challenging problem. So far, probe selection algorithms must trade the ability to cope with large scale problems for a loss of accur...