Search Sciweavers | Sciweavers

4385 search results - page 38 / 877

» Abstraction for Concurrent Objects

206

click to vote

MPC
2010
Springer

246views Mathematics» more MPC 2010»

Abstraction of Object Graphs in Program Verification

15 years 8 months ago

Download sei.pku.edu.cn

ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...

Yifeng Chen, Jeff W. Sanders

claim paper

Read More »

139

click to vote

SARA
2009
Springer

239views Artificial Intelligence» more SARA 2009»

Abstract Planning with Unknown Object Quantities and Properties

16 years 1 months ago

Download www.cs.umass.edu

Siddharth Srivastava, Neil Immerman, Shlomo Zilber...

claim paper

Read More »

135

click to vote

AGILE
2007
Springer

142views GIS» more AGILE 2007»

A Universal Abstract Model for Future Movements of Moving Objects

16 years 23 days ago

Download www.cise.ufl.edu

Reasey Praing, Markus Schneider

claim paper

Read More »

188

click to vote

ISWC
2005
IEEE

161views Human Computer Interaction» more ISWC 2005»

Fine-Grained Activity Recognition by Aggregating Abstract Object Usage

16 years 5 days ago

Download www.cs.washington.edu

Donald J. Patterson, Dieter Fox, Henry A. Kautz, M...

claim paper

Read More »

click to vote

OOPSLA
2005
Springer

83views Security Privacy» more OOPSLA 2005»

Incrementalization across object abstraction

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers