5451 search results - page 937 / 1091 » Typed Operational Semantics |
131
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
E-commerce is presently operating under its expected capacity, mainly because traders find it very difficult to trust one another online for trading decisions. It is therefore ver...
133
Voted
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
Interleaving experiments are an attractive methodology for evaluating retrieval functions through implicit feedback. Designed as a blind and unbiased test for eliciting a preferen...
164
Voted
3DPVT
2006
IEEE
15 years 7 months ago
2006
IEEE
We address multiple-view reconstruction under an optimization approach based on belief propagation. A novel formulation of belief propagation that operates in 3-D is proposed to f...
132
Voted
ASAP
2004
IEEE
15 years 7 months ago
2004
IEEE
Public-key cryptosystems generally involve computation-intensive arithmetic operations, making them impractical for software implementation on constrained devices such as smart ca...
154
Voted
DAC
2004
ACM
15 years 7 months ago
2004
ACM
In an attempt to enable the cost-effective production of lowand mid-volume application-specific chips, researchers have proposed a number of so-called structured ASIC architecture...