Sciweavers

10568 search results - page 522 / 2114
» Computer Intelligence and Formalization
Sort
View
AIME
2005
Springer
15 years 11 months ago
Interactive Knowledge Validation in CBR for Decision Support in Medicine
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, C...
DALT
2006
Springer
15 years 10 months ago
Programming Declarative Goals Using Plan Patterns
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
Jomi Fred Hübner, Rafael H. Bordini, Michael ...
ATAL
2008
Springer
15 years 8 months ago
Electronic contracting in aircraft aftercare: a case study
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
Felipe Rech Meneguzzi, Simon Miles, Michael Luck, ...
137
Voted
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
15 years 11 months ago
Evolutionary computation methods for synchronization of effects based operations
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
Jeffrey P. Ridder
ISMIS
2005
Springer
15 years 11 months ago
Getting Computers to See Information Graphics So Users Do Not Have to
Abstract. Information graphics such as bar, line and pie charts appear frequently in electronic media and often contain information that is not found elsewhere in documents. Unfort...
Daniel Chester, Stephanie Elzer