2529 search results - page 281 / 506 » The Logical Structure of Binding |
170
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...
177
click to vote
ATVA
2007
Springer
16 years 25 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
197
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Aggressive technology scaling to 45nm and below introduces serious reliability challenges to the design of microprocessors. Large SRAM structures used for caches are particularly ...
180
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
In its basic form, a variability model describes the variations among similar artifacts from a structural point of view. It does not capture any information about when these variat...
152
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
In healthy eukaryotic cells, mitochondria have an outer membrane that surrounds a complex inner membrane structure [7,8]. Cytochrome c is found in the space between the two membra...