1769 search results - page 150 / 354 » An implementation of argument based discussion |
138
click to vote
RAS
2006
15 years 6 months ago
2006
This paper describes an algorithm to calculate near-optimal minimum time trajectories for four wheeled omnidirectional vehicles, which can be used as part of a high-level path pla...
194
click to vote
SLOGICA
1998
15 years 6 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
292
click to vote
NOMS
2010
IEEE
15 years 4 months ago
2010
IEEE
— There has recently been an increasing research interest in network management infrastructures that autonomously adapt to the dynamics of the environment. In this paper, we pres...
205
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present a rapid prototyping platform on a single Field Programmable Gate Array (FPGA) with support for software transactional memory. The system is composed only b...
181
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
When dialogue systems, through the use of incremental processing, are not bounded anymore by strict, nonoverlapping turn-taking, a whole range of additional interactional devices ...