Sciweavers

3128 search results - page 131 / 626
» Finite element method
Sort
View
140
Voted
SEFM
2005
IEEE
15 years 9 months ago
Experimental Evaluation of FSM-Based Testing Methods
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih,...
108
Voted
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 7 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
DIGRA
2003
Springer
15 years 8 months ago
Supporting visual elements of non-verbal communication in computer game avatars
Communication between players in networked computer games is often inadequately implemented. The games do not exploit the full potential of using different forms of communication ...
Tomi Kujanpää, Tony Manninen
133
Voted
JAMIA
2011
98views more  JAMIA 2011»
14 years 6 months ago
Mapping clinical phenotype data elements to standardized metadata repositories and controlled terminologies: the eMERGE Network
Background Systematic study of clinical phenotypes is important for a better understanding of the genetic basis of human diseases and more effective gene-based disease management....
Jyotishman Pathak, Janey Wang, Sudha Kashyap, Meli...
VIS
2004
IEEE
195views Visualization» more  VIS 2004»
16 years 4 months ago
Flow Field Clustering via Algebraic Multigrid
We present a novel multiscale approach for flow visualization. We define a local alignment tensor that encodes a measure for alignment to the direction of a given flow field. This...
Michael Griebel, Tobias Preußer, Martin Rump...