4378 search results - page 819 / 876 » On the Complexity of Ordered Colourings |
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
Several recent trends have changed the usage and users of schemas beyond those of a database administrator’s tool for describing database contents. Distribution of computing pow...
APGV
2010
ACM
2010
ACM
Evaluating the effectiveness of visualization techniques for schematic diagrams in maintenance tasks
13 years 11 months ago
In order to perform daily maintenance and repair tasks in complex electrical and mechanical systems, technicians commonly utilize a large number of diagrams and documents detailin...
CHI
2010
ACM
13 years 11 months ago
2010
ACM
Implantable medical devices (IMDs) improve patients' quality of life and help sustain their lives. In this study, we explore patient views and values regarding their devices ...
CHI
2009
ACM
13 years 11 months ago
2009
ACM
We conducted a field-based study examining informal nursing information. We examined the use of this information before and after the adoption of a CPOE (Computerized Provider Ord...