Sciweavers

7715 search results - page 582 / 1543
» Visual Rules Modeling
Sort
View
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 10 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
WSC
2008
15 years 9 months ago
Modeling and simulation of integrated intelligent systems
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...
Yongchang Li, Michael Balchanos, Bassem Nairouz, N...
INTERSPEECH
2010
15 years 1 months ago
A rule-based backchannel prediction model using pitch and pause information
We manually designed rules for a backchannel (BC) prediction model based on pitch and pause information. In short, the model predicts a BC when there is a pause of a certain lengt...
Khiet P. Truong, Ronald Poppe, Dirk Heylen
SIBGRAPI
2007
IEEE
16 years 1 months ago
Geometry Textures
In highly tessellated models, triangles are very small compared to the entire object, representing at the same time its macro- and mesostructures. The main idea in this work is to...
Rodrigo de Toledo, Bin Wang, Bruno Lévy
SIBGRAPI
2003
IEEE
16 years 12 days ago
A Sketch-Based Collaborative Design System
We present a system for collaborative conceptual design that allows users potentially located in geographically distant areas to cooperate by sketching, exploring and modifying the...
Zhe Fan, Ma Chi, Manuel M. Oliveira