Search Sciweavers | Sciweavers

13277 search results - page 53 / 2656

» An Approach to Clustering Abstracts

109

click to vote

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

15 years 10 months ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

105

click to vote

VR
2008
IEEE

129views Virtual Reality» more VR 2008»

A Mixed Reality Approach for Merging Abstract and Concrete Knowledge

15 years 10 months ago

Download www.cise.ufl.edu

John Quarles, Samsun (Sem) Lampotang, Ira Fischler...

claim paper

Read More »

108

click to vote

SECON
2007
IEEE

118views Communications» more SECON 2007»

Demo Abstract: Service Oriented Wireless Sensor Networks - A Cluster-based Approach

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Raluca Marin-Perianu, Hans Scholten, Paul J. M. Ha...

claim paper

Read More »

102

click to vote

SAS
2004
Springer

110views Formal Methods» more SAS 2004»

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

15 years 9 months ago

Download www.lsi.upc.edu

Enric Rodríguez-Carbonell, Deepak Kapur

claim paper

Read More »

107

click to vote

IESS
2009
Springer

133views Hardware» more IESS 2009»

ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers