Sciweavers

1648 search results - page 283 / 330
» Structuring namespace descriptions
Sort
View
SIAMAM
2002
61views more  SIAMAM 2002»
14 years 11 months ago
Self-Similar Solutions for Weak Shock Reflection
Abstract. We present numerical solutions of a two-dimensional Riemann problem for the unsteady transonic small disturbance equations that provides an asymptotic description of the ...
Allen M. Tesdall, John K. Hunter
SIMULATION
2002
118views more  SIMULATION 2002»
14 years 11 months ago
Simulation of Tactical Communications Systems by Inferring Detailed Data from the Joint Theater-Level Computer-Aided Exercises
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
Erdal Cayirci, Cem Ersoy
TELSYS
2002
126views more  TELSYS 2002»
14 years 11 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
TSMC
2002
80views more  TSMC 2002»
14 years 11 months ago
A feedforward neural network controlling the movement of a 3-DOF finger
This paper describes the dynamic control of a 3 degree of freedom (DOF) finger emulating a human finger for reaching a desired fingertip position in space. The control consists of ...
Emanuele Lindo Secco, Giovanni Magenes
EKAW
2010
Springer
14 years 10 months ago
TagSorting: A Tagging Environment for Collaboratively Building Ontologies
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...
Leyla Jael García-Castro, Martin Hepp, Alex...