Sciweavers

9443 search results - page 1533 / 1889
» Web-centric language models
Sort
View
APSEC
2005
IEEE
16 years 12 days ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
CEC
2005
IEEE
16 years 12 days ago
Music evolution in a complex system of interacting agents
The evolution of music, from random note strings to certain “pleasant” note sequences, is traced in a multi-agent computational model. A community of agents, with some musical ...
Tao Gong, Qian Zhang, Hua Wu
HAPTICS
2005
IEEE
16 years 11 days ago
The Maxima Haptics Package -- A Tool for Symbolic Analysis of Haptics and Teleoperation
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
Göran A. V. Christiansson
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
16 years 11 days ago
Tree Animation for A 3D Interactive Visualization System For Hurricane Impacts
This paper describes an implementation of vertex weighting for real-time animation of 3D trees as a result of wind force and direction. This method improves over similar technique...
Peter Singh, Na Zhao, Shu-Ching Chen, Keqi Zhang
206
Voted
ACMICEC
2005
ACM
151views ECommerce» more  ACMICEC 2005»
16 years 10 days ago
Product knowledge reasoning: a DL-based approach
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
Nizamuddin Channa, Shanping Li, Xiangjun Fu
« Prev « First page 1533 / 1889 Last » Next »