3233 search results - page 73 / 647 » Validation Method for Intelligent Systems |
109
Voted
DSS
2002
15 years 2 months ago
2002
Competitive Intelligence (CI) aims to monitor a firm's external environment for information relevant to its decision-making process. As an excellent information source, the I...
118
click to vote
MM
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes an ambient intelligent prototype known as socio-ec(h)o. socio-ec(h)o explores the design and implementation of a system for sensing and display, user modeling...
110
click to vote
ITRUST
2004
Springer
15 years 7 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
129
click to vote
IUI
2006
ACM
15 years 8 months ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...