Sciweavers

6474 search results - page 622 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
183
Voted
COMPSAC
2006
IEEE
16 years 1 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
AUIC
2004
IEEE
15 years 11 months ago
Wearable Microphone Array as User Interface
We are at present enabled with machine-empowered technologies. The future is certainly looking towards human-empowered technologies, which should enable mobile user with natural w...
Yong Xu, Mingjiang Yang, Yanxin Yan, Jianfeng Chen
IAJIT
2006
92views more  IAJIT 2006»
15 years 7 months ago
A Rule-Based Extensible Stemmer for Information Retrieval with Application to Arabic
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...
Haidar Harmanani, Walid Keirouz, Saeed Raheel
209
Voted
WEBI
2009
Springer
16 years 1 months ago
Adapting Reinforcement Learning for Trust: Effective Modeling in Dynamic Environments
—In open multiagent systems, agents need to model their environments in order to identify trustworthy agents. Models of the environment should be accurate so that decisions about...
Özgür Kafali, Pinar Yolum
ISBI
2002
IEEE
16 years 8 months ago
Towards high performance small animal positron emission tomography
During the last decade increasingly sophisticated positron emission tomography (PET) scanners have been developed for imaging small laboratory animals. These systems often exhibit...
Calvin A. Johnson, Jürgen Seidel, Javier Pasc...