7840 search results - page 415 / 1568 » On generalized Ramsey numbers |
168
click to vote
ICLP
2003
Springer
16 years 7 days ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
171
click to vote
ICMI
2003
Springer
16 years 7 days ago
2003
Springer
A novel text entry system designed based on the ubiquitous 12button telephone keypad and its adaptation for a soft keypad are presented. This system can be used to enter full text...
200
click to vote
CLOUD
2010
ACM
16 years 3 days ago
2010
ACM
Power-proportional cluster-based storage is an important component of an overall cloud computing infrastructure. With it, substantial subsets of nodes in the storage cluster can b...
166
click to vote
JCDL
2010
ACM
16 years 3 days ago
2010
ACM
Space and time are important dimensions in the representation of a large number of concepts. However there exists no available resource that provides spatiotemporal mappings of ge...
217
click to vote
COOPIS
2002
IEEE
16 years 5 hour ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...