2143 search results - page 381 / 429 » corr 2010 |
94
Voted
CORR
2008
Springer
15 years 4 days ago
2008
Springer
Packaging costs of Micro-Electro-Mechanical System (MEMS) are still contributing with >50% to the total costs of most devices. Aligned wafer bonding techniques for Wafer-level ...
98
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
93
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The World Summit on Sustainable Development (Johannesburg, 2002) encouraged the application of the ecosystem approach by 2010. However, at the same Summit, the signatory States un...
87
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Consumers increasingly go online to rate, review and research products (Jansen, 2010; Litvin et al., 2008). Consequently, websites containing these reviews are becoming targets of...
103
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
We consider the problem of recovering items matching a partially specified pattern in multidimensional trees (quad trees and k-d trees). We assume the classical model where the d...