Search Sciweavers | Sciweavers

31387 search results - page 362 / 6278

» Abstracting abstract machines

135

Voted

EUROSSC
2010
Springer

137views Information Technology» more EUROSSC 2010»

Sensor Abstractions for Opportunistic Activity and Context Recognition Systems

15 years 4 months ago

Download www.soft.uni-linz.ac.at

Marc Kurz, Alois Ferscha

claim paper

Read More »

160

Voted

ICDM
2010
IEEE

125views Data Mining» more ICDM 2010»

Abstraction Augmented Markov Models

15 years 4 months ago

Download www.cs.iastate.edu

Cornelia Caragea, Adrian Silvescu, Doina Caragea, ...

claim paper

Read More »

168

click to vote

ICECCS
2010
IEEE

135views Hardware» more ICECCS 2010»

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction

15 years 4 months ago

Download groups.csail.mit.edu

Shinya Umeno, Nancy A. Lynch

claim paper

Read More »

133

click to vote

ICEIS
2010
IEEE

128views Information Technology» more ICEIS 2010»

Abstraction from Collaboration between Agents using Asynchronous Message-passing

15 years 4 months ago

Download www.mip.sdu.dk

Bent Bruun Kristensen

claim paper

Read More »

130

click to vote

ICIP
2010
IEEE

195views Image Processing» more ICIP 2010»

An adaptive clustering and chrominance-based merging approach for image segmentation and abstraction

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers