Sciweavers

2490 search results - page 6 / 498
» Complexity of Contextual Reasoning
Sort
View
CONTEXT
2007
Springer
15 years 4 months ago
Context Modeling: Context as a Dressing of a Focus
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
Juliette Brézillon, Patrick Brézillo...
POPL
2006
ACM
15 years 10 months ago
Small bisimulations for reasoning about higher-order imperative programs
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
Vasileios Koutavas, Mitchell Wand
IJCNN
2000
IEEE
15 years 2 months ago
Storage and Recall of Complex Temporal Sequences through a Contextually Guided Self-Organizing Neural Network
A self-organizing neural network for learning and recall of complex temporal sequences is proposed. we consider a single sequence with repeated items, or several sequences with a c...
Guilherme De A. Barreto, Aluizio F. R. Araú...
FLAIRS
2008
15 years 4 days ago
Using Contexts to Supervise a Collaborative Process
This paper describes a research project that investigated the feasibility and advantages of using contextual reasoning to supervise the collaborative work of several knowledge wor...
Avelino J. Gonzalez, Setsuo Tsuruta, Johann Nguyen...
SOCASE
2009
Springer
15 years 4 months ago
Agent-Based Context Consistency Management in Smart Space Environments
Context-aware systems in a smart space environment must be aware of the surrounding contexts and adapt to changing contexts in highly dynamic environments. Data managements of con...
Wan-rong Jih, Jane Yung-jen Hsu, Han-Wen Chang