complete model | Sciweavers

13

ISTA
2004

146views Information Technology» more ISTA 2004»

A Conceptual Modeling Technique Based on Semantically Complete Model, Its Applications

13 years 5 months ago

: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...

Vladimir Ovchinnikov

claim paper

Read More »

12

click to vote

NIPS
2008

116views Information Technology» more NIPS 2008»

Simple Local Models for Complex Dynamical Systems

13 years 5 months ago

Download www.eecs.umich.edu

We present a novel mathematical formalism for the idea of a "local model" of an uncontrolled dynamical system, a model that makes only certain predictions in only certai...

Erik Talvitie, Satinder Singh

claim paper

Read More »

10

click to vote

LICS
1999
IEEE

135views Automated Reasoning» more LICS 1999»

Towards a Theory of Bisimulation for Local Names

13 years 8 months ago

Download users.ecs.soton.ac.uk

Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...

Alan Jeffrey, Julian Rathke

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers