1128 search results - page 171 / 226 » Classical Natural Deduction |
125
click to vote
TMI
2008
15 years 4 months ago
2008
Tomographic reconstruction from positron emission tomography (PET) data is an ill-posed problem that requires regularization. An attractive approach is to impose an 1-regularizatio...
131
click to vote
JCT
2007
15 years 4 months ago
2007
A matrix A is said to be partition regular (PR) over a subset S of the positive integers if whenever S is finitely coloured, there exists a vector x, with all elements in the sam...
147
click to vote
VLC
2008
15 years 4 months ago
2008
The capabilities of current mobile devices, especially PDAs, are making it possible to design and develop mobile applications that employ visual techniques for using geographic da...
139
click to vote
AUTOMATICA
2004
15 years 4 months ago
2004
Ellipsoidal outer-bounding of the set of all feasible state vectors under model uncertainty is a natural extension of state estimation for deterministic models with unknown-but-bo...
141
click to vote
DKE
2002
15 years 4 months ago
2002
It has long been recognised that interactivity improves the effectiveness of Information Retrieval systems. Speech is the most natural and interactive medium of communication and ...