Sciweavers

5622 search results - page 386 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
151
Voted
SSPR
1998
Springer
15 years 11 months ago
A Statistical Clustering Model and Algorithm
In this paper, a statistical clustering model and algorithm have been discussed. Finding the optimal solution to clustering problem is transformed into simulating the equilibrium ...
Guangwen Yang, Weimin Zheng, Dingxing Wang
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 10 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
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
15 years 7 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang
AH
2008
Springer
16 years 1 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
168
Voted
ISF
2008
119views more  ISF 2008»
15 years 6 months ago
A decision support system for locating VHF/UHF radio jammer systems on the terrain
In this study, a mathematical model is suggested concerning the location of VHF/UHF frequency radio jammer systems to the terrain parts to conduct single frequency or sequential fr...
Cevriye Gencer, Emel Kizilkaya Aydogan, Coskun Cel...