Sciweavers

4781 search results - page 648 / 957
» Complexity at large
Sort
View
GRID
2004
Springer
16 years 1 days ago
On The Feasibility of Running Entity-Level Simulations on Grid Platforms
Scientists have long relied on abstract models to study phenomena that are too complex for direct observation and experimentation. As new scientific modeling methodologies emerge...
Alan Su, Francine Berman, Henri Casanova
ICCSA
2004
Springer
16 years 1 days ago
A Comparison Study of Metaheuristic Techniques for Providing QoS to Avatars in DVE Systems
Abstract. Network-server architecture has become a de-facto standard for Distributed Virtual Environment (DVE) systems. In these systems, a large set of remote users share a 3D vir...
Pedro Morillo, Juan M. Orduña, Marcos Fern&...
ICMI
2004
Springer
152views Biometrics» more  ICMI 2004»
16 years 1 days ago
Exploiting prosodic structuring of coverbal gesticulation
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...
Sanshzar Kettebekov
IFIP
2004
Springer
16 years 1 days ago
Static program transformations for efficient software model checking
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
Shobha Vasudevan, Jacob A. Abraham
IMR
2004
Springer
16 years 1 days ago
Mechanical Criteria for the Preparation of Finite Element Models
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
Gilles Foucault, Philippe M. Marin, Jean-Claude L&...