Sciweavers

1024 search results - page 46 / 205
» Value complete, column complete, predicate complete
Sort
View
IPPS
2008
IEEE
15 years 8 months ago
Model-guided performance tuning of parameter values: A case study with molecular dynamics visualization
In this paper, we consider the interaction between application programmers and tools that automatically search a space of application-level parameters that are believed to impact ...
Yiinju L. Nelson, Bhupesh Bansal, Mary W. Hall, Ai...
ICLP
2009
Springer
16 years 2 months ago
Logic Programs under Three-Valued Lukasiewicz Semantics
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
Carroline Dewi Puspa Kencana Ramli, Steffen Hö...
AGILE
2009
Springer
264views GIS» more  AGILE 2009»
15 years 8 months ago
Three-Valued 9-Intersection for Deriving Possible Topological Relations from Incomplete Observations
Topological relations, which concern how two objects intersect, are one of the most fundamental and well-studied spatial relations. Typically, topological relations are distinguis...
Yohei Kurata
DSSCV
2005
Springer
15 years 7 months ago
A Riemannian Framework for the Processing of Tensor-Valued Images
In this paper, we present a novel framework to carry out computations on tensors, i.e. symmetric positive definite matrices. We endow the space of tensors with an affine-invariant...
Pierre Fillard, Vincent Arsigny, Nicholas Ayache, ...
HUC
2005
Springer
15 years 7 months ago
Time, Ownership and Awareness: The Value of Contextual Locations in the Home
Abstract. Our goal in this paper is to clearly delineate how households currently manage communication and coordination information; this will provide practitioners and designers w...
Kathryn Elliot, Carman Neustaedter, Saul Greenberg