Search Sciweavers | Sciweavers

31387 search results - page 229 / 6278

» Abstracts

140

click to vote

DIS
2009
Springer

105views Theoretical Computer Science» more DIS 2009»

Inference and Learning in Planning (Extended Abstract)

15 years 10 months ago

Download www.dtic.upf.edu

Hector Geffner

claim paper

Read More »

105

click to vote

GI
2007
Springer

111views Theoretical Computer Science» more GI 2007»

Executing Abstract Test Cases

15 years 10 months ago

Download www.soft-net.at

Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

claim paper

Read More »

118

click to vote

HOTOS
2007
IEEE

138views Operating System» more HOTOS 2007»

MashupOS: Operating System Abstractions for Client Mashups

15 years 10 months ago

Download research.microsoft.com

Jon Howell, Collin Jackson, Helen J. Wang, Xiaofen...

claim paper

Read More »

163

click to vote

HYBRID
2007
Springer

122views Control Systems» more HYBRID 2007»

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

15 years 10 months ago

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

138

click to vote

HOTOS
2009
IEEE

111views Operating System» more HOTOS 2009»

Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers