Search Sciweavers | Sciweavers

12981 search results - page 290 / 2597

» Model Checking (Abstract)

156

click to vote

SYNTHESE
2011

82views more SYNTHESE 2011»

Living with the abstract: realism and models

15 years 1 months ago

Download www.romanfrigg.org

Stathis Psillos

claim paper

Read More »

168

click to vote

IEAAIE
2011
Springer

201views Artificial Intelligence» more IEAAIE 2011»

Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions

14 years 10 months ago

Download www.few.vu.nl

Jan Treur

claim paper

Read More »

153

click to vote

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

14 years 9 months ago

Download www.cs.technion.ac.il

Michael Kuperstein, Martin T. Vechev, Eran Yahav

claim paper

Read More »

170

click to vote

SBP
2011
Springer

158views Applied Computing» more SBP 2011»

Abstraction of an Affective-Cognitive Decision Making Model Based on Simulated Behaviour and Perception Chains

14 years 9 months ago

Download www.few.vu.nl

Alexei Sharpanskykh, Jan Treur

claim paper

Read More »

286

click to vote

BIOSTEC
2011

247views Healthcare» more BIOSTEC 2011»

Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers