Sciweavers

917 search results - page 125 / 184
» Application reviews
Sort
View
DLOG
2007
15 years 8 months ago
EXPTIME Tableaux for ALC Using Sound Global Caching
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
Rajeev Goré, Linh Anh Nguyen
ESWA
2010
136views more  ESWA 2010»
15 years 5 months ago
Case-based adaptation for automotive engine electronic control unit calibration
The automotive engine performance is greatly affected by the calibration of its electronic control unit (ECU). The method for ECU calibration is traditionally done by trial-and-er...
Chi-Man Vong, Pak-Kin Wong
EVOW
2009
Springer
16 years 1 months ago
Swarm Intelligence Inspired Multicast Routing: An Ant Colony Optimization Approach
Abstract. The advancement of network induces great demands on a series of applications such as the multicast routing. This paper firstly makes a brief review on the algorithms in ...
Xiaomin Hu, Jun Zhang, Li-Ming Zhang
HICSS
2003
IEEE
88views Biometrics» more  HICSS 2003»
15 years 11 months ago
Internet Use, Transparency, and Interactivity Effects on Trust in Government
This paper asks how internet use, citizen satisfaction with e-government and citizen trust in government are interrelated. Prior research has found that agencies stress informatio...
Eric W. Welch, Charles C. Hinnant
CORR
2011
Springer
247views Education» more  CORR 2011»
14 years 10 months ago
The Extraordinary SVD
: We review the singular value decomposition (SVD) and discuss some lesser-known applications of it that we find particularly interesting. We also discuss generalizations of the S...
Carla D. Martin, Mason A. Porter