Search Sciweavers | Sciweavers

31387 search results - page 187 / 6278

» Abstracts

139

click to vote

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

15 years 11 months ago

Download www.cs.indiana.edu

Daniel Leivant

claim paper

Read More »

128

click to vote

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Temporal Views as Abstract Relations

15 years 11 months ago

Download www.cs.man.ac.uk

Allan Ramsay

claim paper

Read More »

126

click to vote

WCRE
2002
IEEE

107views Software Engineering» more WCRE 2002»

Semantic Grep: Regular Expressions + Relational Abstraction

15 years 11 months ago

Download plg.uwaterloo.ca

R. Ian Bull, Andrew Trevors, Andrew J. Malton, Mic...

claim paper

Read More »

128

click to vote

ICS
2010
Tsinghua U.

156views Distributed And Parallel Com...» more ICS 2010»

Computational Complexity and Information Asymmetry in Financial Products (Extended Abstract)

15 years 11 months ago

Download conference.itcs.tsinghua.edu.cn

Sanjeev Arora, Boaz Barak, Markus Brunnermeier, Ro...

claim paper

Read More »

128

click to vote

SYSTOR
2010
ACM

158views Control Systems» more SYSTOR 2010»

Plugging the hypervisor abstraction leaks caused by virtual networking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers