Sciweavers

1476 search results - page 188 / 296
» Adaptable Components
Sort
View
ENVSOFT
2002
129views more  ENVSOFT 2002»
15 years 4 months ago
Linking GIS and water resources management models: an object-oriented method
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
Daene C. McKinney, Ximing Cai
116
Voted
IJMMS
1998
137views more  IJMMS 1998»
15 years 4 months ago
A context model for knowledge-intensive case-based reasoning
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
Pinar Öztürk, Agnar Aamodt
TACAS
2010
Springer
212views Algorithms» more  TACAS 2010»
15 years 2 months ago
Assume-Guarantee Verification for Probabilistic Systems
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
Marta Z. Kwiatkowska, Gethin Norman, David Parker,...
JDCTA
2010
203views more  JDCTA 2010»
14 years 11 months ago
Preprocessing Method for NaXi Pictographs Character Recognition Using Wavelet Transform
Preprocessing, a major component of Character Recognition System, has direct effect on the recognition system by its performance. Using wavelet transform, this paper mainly focuse...
Hai Guo, Jing-ying Zhao, Xiao-niu Li
ICASSP
2011
IEEE
14 years 8 months ago
Offending frequency suppression with a reset algorithm to improve feedback cancellation in digital hearing aids
Acoustic feedback limits the gain provided by hearing aids. Digital hearing aids identify acoustic feedback signals and cancel them continuously in a closed loop with an adaptive ...
Ashutosh Pandey, V. John Mathews