2107 search results - page 417 / 422 » b 2007 |
IEICET
2007
13 years 9 months ago
2007
Abstract—Si photonic wire waveguides are attractive for constructing various optical devices that are extremely small because the waveguides can be bent with extremely small curv...
IIE
2007
13 years 9 months ago
2007
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...
IJCV
2007
13 years 9 months ago
2007
Increasing the level of spacecraft autonomy is essential for broadening the reach of solar system exploration. Computer vision has and will continue to play an important role in in...
IJMI
2007
13 years 9 months ago
2007
s from Biomedical Abstracts Patrick Rucha , Celia Boyer c , Christine Chichesterb , Imad Tbahritiab Antoine Geissbühlera , Paul Fabrya , Julien Gobeilla , Violaine Pilletab , Diet...
MLQ
2007
13 years 9 months ago
2007
We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theor...