Sciweavers

10916 search results - page 205 / 2184
» On Constructive Connectives and Systems
Sort
View
AUTOMATICA
2005
82views more  AUTOMATICA 2005»
15 years 6 months ago
Hierarchical trajectory refinement for a class of nonlinear systems
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper, we provide a constructive method for hierarchical trajectory refinement. ...
Paulo Tabuada, George J. Pappas
CONNECTION
2004
93views more  CONNECTION 2004»
15 years 6 months ago
A real-time robotic model of human reference resolution using visual constraints
Evidence from recent psycholinguistic experiments suggests that humans resolve reference incrementally in the presence of constraining visual context. In this paper, we present an...
Matthias Scheutz, Kathleen M. Eberhard, Virgil And...
ICC
2007
IEEE
112views Communications» more  ICC 2007»
16 years 28 days ago
Algebraic Constructions of Space-Frequency Codes
— Recently an algebraic construction of (nt × Q) space-frequency (SF) codes over finite field Fq was proposed for use in MIMO-OFDM systems, where nt is the number of transmit ...
Mao-Ching Chiu, Hsiao-feng Lu
ENTCS
2008
116views more  ENTCS 2008»
15 years 6 months ago
Computational Origami Construction as Constraint Solving and Rewriting
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fado...
ICML
1989
IEEE
15 years 10 months ago
Constructive Induction by Analogy
The available concept-learners only partially fulfill the needs imposed by the learning apprentice generation of learners. We present a novel approach to interactive concept-learni...
Luc De Raedt, Maurice Bruynooghe