Sciweavers

3032 search results - page 137 / 607
» Complexity of sequences and dynamical systems
Sort
View
173
Voted
AGENTCL
2003
Springer
15 years 9 months ago
A Cooperative Dialogue Game for Resolving Ontological Discrepancies
The goal of this paper is to present a computational framework that enables us to generate elementary speech act sequences in a dialogue between an electronic assistant and a compu...
Robbert-Jan Beun, Rogier M. van Eijk
166
Voted
JELIA
1994
Springer
15 years 7 months ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur
180
Voted
3DPVT
2006
IEEE
197views Visualization» more  3DPVT 2006»
15 years 5 months ago
Structured Light Based Reconstruction under Local Spatial Coherence Assumption
3D scanning techniques based on structured light usually achieve robustness against outliers by performing multiple projections to simplify correspondence. However, for cases such...
Hao Li, Raphael Straub, Hartmut Prautzsch
132
Voted
JAPLL
2010
104views more  JAPLL 2010»
15 years 2 months ago
Group announcement logic
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
Thomas Ågotnes, Philippe Balbiani, Hans P. v...
149
Voted
CSMR
2006
IEEE
15 years 9 months ago
Dynamic Object Process Graphs
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
Jochen Quante, Rainer Koschke