Sciweavers

123 search results - page 16 / 25
» Symbol Grounding and its Implications for Artificial Intelli...
Sort
View
ECAI
2008
Springer
13 years 10 months ago
Conservativity in Structured Ontologies
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
Oliver Kutz, Till Mossakowski
IWANN
2009
Springer
14 years 3 months ago
Efficient Exact Pattern-Matching in Proteomic Sequences
Abstract. This paper proposes a novel algorithm for complete exact patternmatching focusing the specificities of protein sequences (alphabet of 20 symbols) but, also highly efficie...
Sérgio A. D. Deusdado, Paulo M. M. Carvalho
ISJ
2010
13 years 5 months ago
User involvement in developing mobile and temporarily interconnected systems
Information systems (IS) research on user involvement has primarily theorized relationships between developers, managers and users in systems development. However, so far, marginal...
Ola Henfridsson, Rikard Lindgren
ECAI
2008
Springer
13 years 10 months ago
Belief revision with reinforcement learning for interactive object recognition
From a conceptual point of view, belief revision and learning are quite similar. Both methods change the belief state of an intelligent agent by processing incoming information. Ho...
Thomas Leopold, Gabriele Kern-Isberner, Gabriele P...
WIA
2004
Springer
14 years 2 months ago
A BDD-Like Implementation of an Automata Package
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...
Jean-Michel Couvreur