Search Sciweavers | Sciweavers

9698 search results - page 129 / 1940

» models 2010

103

click to vote

DLOG
2010

102views Automated Reasoning» more DLOG 2010»

Temporal Conceptual Modelling with DL-Lite

15 years 4 months ago

Download www.cs.uwaterloo.ca

Alessandro Artale, Roman Kontchakov, Vladislav Ryz...

claim paper

Read More »

144

click to vote

EMSOFT
2010
Springer

108views Software Engineering» more EMSOFT 2010»

Ptera: an event-oriented model of computation for heterogeneous systems

15 years 4 months ago

Download www.eecs.berkeley.edu

Thomas Huining Feng, Edward A. Lee, Lee W. Shruben

claim paper

Read More »

115

click to vote

GRAPP
2010

99views Computer Graphics» more GRAPP 2010»

Bubbleworld Builder - 3D Modeling using Two-touch and Sketch Interaction

15 years 4 months ago

Download www.cs.auckland.ac.nz

Amit Joshi, Glen Robertson, Burkhard Wünsche,...

claim paper

Read More »

148

click to vote

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 »

125

click to vote

ICMT
2010
Springer

140views Theoretical Computer Science» more ICMT 2010»

A Constructive Approach to Testing Model Transformations

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers