Sciweavers

1389 search results - page 71 / 278
» Definability as hypercomputational effect
Sort
View
TSE
2008
92views more  TSE 2008»
13 years 8 months ago
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...
TVCG
2008
95views more  TVCG 2008»
13 years 8 months ago
A Taxonomy of 3D Occlusion Management for Visualization
While an important factor in depth perception, the occlusion effect in 3D environments also has a detrimental impact on tasks involving discovery, access, and spatial relation of o...
Niklas Elmqvist, Philippas Tsigas
APAL
2002
73views more  APAL 2002»
13 years 8 months ago
The sequentially realizable functionals
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
John Longley
ICCV
2009
IEEE
15 years 1 months ago
Dimensionality Reduction and Principal Surfaces via Kernel Map Manifolds
We present a manifold learning approach to dimensionality reduction that explicitly models the manifold as a mapping from low to high dimensional space. The manifold is represen...
Samuel Gerber, Tolga Tasdizen, Ross Whitaker
ICDE
2009
IEEE
114views Database» more  ICDE 2009»
14 years 10 months ago
XOntoRank: Ontology-Aware Search of Electronic Medical Records
As the use of Electronic Medical Records (EMRs) becomes more widespread, so does the need for effective information discovery within them. Recently proposed EMR standards are XML-b...
Fernando Farfán, Vagelis Hristidis, Anand R...