2268 search results - page 299 / 454 » The Essence of Form Abstraction |
100
click to vote
ICCS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. One of the main challenges of grid systems of large scale and data intensive is that of providing high availability and performance, in spite of the unreliability and del...
121
click to vote
ICTCS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
115
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose new ideas and efficient algorithms towards bridging the gap between bag-of-features and constellation descriptors for image matching. Specifically, we show ho...
DATE
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract—Antenna problem is a phenomenon of plasma-induced gateoxide degradation. It directly affects manufacturability of very large scale integration (VLSI) circuits, especiall...
130
click to vote
ICDCS
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract—We propose a new geometric spanner for wireless ad hoc networks, which can be constructed efficiently in a distributed manner. It integrates the connected dominating se...