Sciweavers

1424 search results - page 81 / 285
» An industrial case study on wearable computing applications
Sort
View
TPHOL
1997
IEEE
15 years 10 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
ISJ
2002
151views more  ISJ 2002»
15 years 5 months ago
Code quality analysis in open source software development
Proponents of open source style software development claim that better software is produced using this model compared with the traditional closed model. However, there is little em...
Ioannis Stamelos, Lefteris Angelis, Apostolos Oiko...
JPDC
2006
106views more  JPDC 2006»
15 years 6 months ago
Computing nearest neighbors in real time
The nearest-neighbor method can successfully be applied to correct possible errors induced into bit strings transmitted over noisy communication channels or to classify samples in...
Marius Nagy, Selim G. Akl
JPDC
2006
134views more  JPDC 2006»
15 years 6 months ago
Fast shared-memory algorithms for computing the minimum spanning forest of sparse graphs
Minimum Spanning Tree (MST) is one of the most studied combinatorial problems with practical applications in VLSI layout, wireless communication, and distributed networks, recent ...
David A. Bader, Guojing Cong
KES
2007
Springer
16 years 10 days ago
Automated Ham Quality Classification Using Ensemble Unsupervised Mapping Models
This multidisciplinary study focuses on the application and comparison of several topology preserving mapping models upgraded with some classifier ensemble and boosting techniques ...
Bruno Baruque, Emilio Corchado, Hujun Yin, Jordi R...