10568 search results - page 557 / 2114 » Computer Intelligence and Formalization |
196
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
168
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
Owing to the development of DNA microarray technologies, it is possible to get thousands of expression levels of genes at once. If we make the effective classification system with ...
135
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
The use of technology for instruction, and the enormous amount of information available for consumption, places a considerable burden on instructors who must learn to integrate app...
171
click to vote
ICAD
2004
15 years 7 months ago
2004
The rapid accumulation of large collections of data has created the need for efficient and intelligent schemes for knowledge extraction and results analysis. The resulting informa...
176
Voted
PUC
2006
15 years 6 months ago
2006
Unique features of handheld devices, including their mobility, personalization and location-awareness engender new types of applications for mobile commerce, such as mobile adverti...