Sciweavers

2935 search results - page 233 / 587
» Knowledge Organization for Exploration
Sort
View
ICCBR
2005
Springer
15 years 9 months ago
On the Effectiveness of Automatic Case Elicitation in a More Complex Domain
Automatic case elicitation (ACE) is a learning technique in which a case-based reasoning system acquires knowledge automatically from scratch through repeated real-time trial and e...
Siva N. Kommuri, Jay H. Powell, John D. Hastings
SPIN
2004
Springer
15 years 9 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
IUI
2000
ACM
15 years 8 months ago
Requirements elicitation for an intelligent software test environment for the physically challenged
This paper is about the elicitation of the requirements for an intelligent interface for a software test development environment that will accommodate the physically challenged (P...
Warren Moseley
126
Voted
JIIS
2007
92views more  JIIS 2007»
15 years 3 months ago
Information ecology: open system environment for data, memories, and knowing
An information ecology provides a conceptual framework to consider data, the creation of knowledge, and the flow of information within a multidimensional context. This paper, repor...
Karen S. Baker, Geoffrey C. Bowker
ADMI
2010
Springer
15 years 2 months ago
Real-Time Sensory Pattern Mining for Autonomous Agents
Abstract. Autonomous agents are systems situated in dynamic environments. They pursue goals and satisfy their needs by responding to external events from the environment. In these ...
Pedro Sequeira, Cláudia Antunes