3235 search results - page 355 / 647 » Partial Redundant Modeling |
156
click to vote
MSCS
2007
15 years 4 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
138
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
151
click to vote
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
118
click to vote
WACV
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a non parametric modeling for phase maps of interferometric SAR. Cosine and Sine projections maps are generated from the SAR phase map, and each of them ...
145
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
—Homology modeling requires an accurate alignment between a query sequence and its homologs with known three-dimensional (3D) information. Current structural modeling techniques ...