Sciweavers

563 search results - page 10 / 113
» A Typing Scheme for Behavioural Models
Sort
View
ENTCS
2007
133views more  ENTCS 2007»
13 years 8 months ago
Modelchecking Correctness of Refactorings - Some Experiments
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
IEAAIE
2011
Springer
13 years 19 hour ago
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders
Persons with an Autism Spectrum Disorder (ASD) may show certain types of deviations in social functioning. Since the discovery of mirror neuron systems and their role in social fun...
Yara van der Laan, Jan Treur
JUCS
2010
108views more  JUCS 2010»
13 years 3 months ago
Extending the Methods for Computing the Importance of Entity Types in Large Conceptual Schemas
: Visualizing and understanding large conceptual schemas requires the use of specific methods. These methods generate clustered, summarized, or focused schemas that are easier to v...
Antonio Villegas, Antoni Olivé
SMA
1993
ACM
124views Solid Modeling» more  SMA 1993»
14 years 20 days ago
Intelligent form feature interaction management in a cellular modeling scheme
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
Rafael Bidarra, José Carlos Teixeira
NOLISP
2005
Springer
14 years 2 months ago
F0 and Intensity Distributions of Marsec Speakers: Types of Speaker Prosody
Most research on F0 has attempted to model the behaviour of an entire linguistic community (e.g of speakers of US or UK English, French, Japanese etc). In this research, we attempt...
Brigitte Zellner Keller