1302 search results - page 226 / 261 » On the Strong Chromatic Number |
188
click to vote
SIPS
2006
IEEE
16 years 9 days ago
2006
IEEE
: Molecular electronics is commonly conceived as reproducing diode or transistor action at the molecular level. The quantum-dot cellular automata (QCA) approach offers an attractiv...
167
click to vote
APLAS
2006
ACM
16 years 8 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
183
click to vote
ELPUB
2006
ACM
2006
ACM
What are the Prospects for Publishing Online Scholarly Journals in Malaysia? The Cultural Constraint
16 years 8 days ago
Most of the studies conducted on future business models for electronic scholarly publishing have concentrated on the major publishing areas of North America and Western Europe, an...
172
click to vote
NORDICHI
2006
ACM
16 years 7 days ago
2006
ACM
This paper describes the design process of a modular system for supporting physical and cognitive rehabilitation in the swimming pool. In such an environment, the therapist is cal...
158
click to vote
SIGIR
2006
ACM
16 years 7 days ago
2006
ACM
Large scale learning is often realistic only in a semi-supervised setting where a small set of labeled examples is available together with a large collection of unlabeled data. In...