Search Sciweavers | Sciweavers

12981 search results - page 290 / 2597

» Model Checking (Abstract)

120

Voted

SYNTHESE
2011

82views more SYNTHESE 2011»

Living with the abstract: realism and models

14 years 10 months ago

Download www.romanfrigg.org

Stathis Psillos

claim paper

Read More »

129

Voted

IEAAIE
2011
Springer

201views Artificial Intelligence» more IEAAIE 2011»

Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions

14 years 7 months ago

Download www.few.vu.nl

Jan Treur

claim paper

Read More »

111

Voted

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

14 years 6 months ago

Download www.cs.technion.ac.il

Michael Kuperstein, Martin T. Vechev, Eran Yahav

claim paper

Read More »

128

Voted

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 6 months ago

Download www.few.vu.nl

Alexei Sharpanskykh, Jan Treur

claim paper

Read More »

210

click to vote

BIOSTEC
2011

247views Healthcare» more BIOSTEC 2011»

Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers