Sciweavers

16616 search results - page 90 / 3324
» Extending Extended Vacuity
Sort
View
HIJ
2006
89views more  HIJ 2006»
15 years 23 days ago
Extending the role of a healthcare digital library environment to support orthopaedic research
A digital archive, together with its users and its contents, does not exist in isolation - there is a cycle of activities which provides the context for the archive's existen...
Timothy Miles-Board, Leslie Carr, Gary B. Wills, G...
98
Voted
IJBRA
2006
59views more  IJBRA 2006»
15 years 23 days ago
Predicting altered pathways using extendable scaffolds
: Many diseases, especially solid tumors, involve the disruption or deregulation of cellular processes. Most current work using gene expression and other high-throughput data, simp...
B. M. Broom, T. J. McDonnell, D. Subramanian
102
Voted
IVS
2008
138views more  IVS 2008»
15 years 23 days ago
Extending the attribute explorer to support professional team-sport analysis
Advances in interactive systems and the ability to manage increasing amounts of high-dimensional data provide new opportunities in numerous domains. Information visualization tech...
Pär-Anders Albinsson, Dennis Andersson
71
Voted
JCT
2006
80views more  JCT 2006»
15 years 22 days ago
Extending precolorings to circular colorings
Fix positive integers k , d , k, d such that k /d > k/d 2. If P is a set of vertices in a (k, d)-colorable graph G, and any two vertices of P are separated by distance at leas...
Michael O. Albertson, Douglas B. West
95
Voted
ENTCS
2007
96views more  ENTCS 2007»
15 years 22 days ago
A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract)
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
Andrew W. Appel, Xavier Leroy