Sciweavers

145 search results - page 2 / 29

» sac 2009

10

SAC
2009
ACM

95views Applied Computing» more SAC 2009»

Local reasoning for abstraction and sharing

14 years 1 months ago

Local reasoning for abstraction and sharing

Download www.cs.famaf.unc.edu.ar

Renato Cherini, Javier O. Blanco

claim paper

Read More »

7

SAC
2009
ACM

82views Applied Computing» more SAC 2009»

Message-passing and local heuristics as decimation strategies for satisfiability

14 years 1 months ago

Message-passing and local heuristics as decimation strategies for satisfiability

Download www.cs.cornell.edu

Lukas Kroc, Ashish Sabharwal, Bart Selman

claim paper

Read More »

4

SAC
2009
ACM

78views Applied Computing» more SAC 2009»

Reasoning about comprehensions with first-order SMT solvers

14 years 1 months ago

Reasoning about comprehensions with first-order SMT solvers

Download www.cs.nuim.ie

K. Rustan M. Leino, Rosemary Monahan

claim paper

Read More »

13

SAC
2009
ACM

80views Applied Computing» more SAC 2009»

A new inter-layer prediction scheme for spatial scalability with different frame rates

14 years 1 months ago

A new inter-layer prediction scheme for spatial scalability with different frame rates

Download apple.cs.pusan.ac.kr

Jinmi Kang, Gyeongeun Goh, Kidong Chung

claim paper

Read More »

16

SAC
2009
ACM

101views Applied Computing» more SAC 2009»

CPref-SQL: a query language supporting conditional preferences

13 years 11 months ago

CPref-SQL: a query language supporting conditional preferences

Download www.deamo.prof.ufu.br

Sandra de Amo, Marcos Roberto Ribeiro

claim paper

Read More »

« Prev « First page 2 / 29 Last » Next »