5451 search results - page 937 / 1091 » Typed Operational Semantics |
166
click to vote
ACMICEC
2007
ACM
15 years 10 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...
165
click to vote
SIGIR
2010
ACM
15 years 10 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...
207
click to vote
3DPVT
2006
IEEE
15 years 10 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...
160
click to vote
ASAP
2004
IEEE
15 years 10 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...
191
click to vote
DAC
2004
ACM
15 years 10 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...