Sciweavers

2490 search results - page 134 / 498
» Complexity of Contextual Reasoning
Sort
View
LICS
2007
IEEE
15 years 10 months ago
Environmental Bisimulations for Higher-Order Languages
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
136
Voted
ICMCS
2005
IEEE
110views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Electronic Chronicles: Empowering Individuals, Groups, and Organizations
Continuing strides in processing, storage, sensing, and networking technologies are enabling people to capture their activities and experiences as greater volumes of ever-richer m...
Gopal Pingali, R. Jain
IJCNLP
2005
Springer
15 years 10 months ago
Automatic Partial Parsing Rule Acquisition Using Decision Tree Induction
Abstract. Partial parsing techniques try to recover syntactic information efficiently and reliably by sacrificing completeness and depth of analysis. One of the difficulties of pa...
Myung-Seok Choi, Chul Su Lim, Key-Sun Choi
IWINAC
2005
Springer
15 years 10 months ago
Spatial navigation based on novelty mediated autobiographical memory
This paper presents a method for spatial navigation performed mainly on past experiences. The past experiences are remembered in their temporal context, i.e. as episodes of events....
Emilia I. Barakova, Tino Lourens
AUSAI
2003
Springer
15 years 9 months ago
Multimedia Analysis and Synthesis
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...
Mohan S. Kankanhalli