3552 search results - page 214 / 711 » Proof theory in the abstract |
184
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract— We propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots with communication-delay in the maste...
151
click to vote
CP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
178
click to vote
MM
1996
ACM
15 years 10 months ago
1996
ACM
Narrative structure models are useful tools for understanding how and why narratives of any medium affect an audience's level of participation in their role of story reconstr...
147
click to vote
DELFI
2003
15 years 8 months ago
2003
Abstract: Die Realisierung innovativer, didaktisch und lerntheoretisch begründeter eLearning-Szenarien benötigt dezidierte Werkzeuge, die neuartige Lehr- und Lernformen adäquat ...
200
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
Abstract: Hybrid-redundant number representation has provided a flexible framework for digitparallel addition in a manner that facilitates area-time tradeoffs for VLSI implementati...