Sciweavers

1177 search results - page 148 / 236
» A Theory of Role Composition
Sort
View
92
Voted
CDC
2010
IEEE
14 years 7 months ago
Tuning a synthetic in vitro oscillator using control-theoretic tools
Abstract-- This paper demonstrates the effectiveness of simple control-theoretic tools in generating simulation-guided experiments on a synthetic in vitro oscillator. A theoretical...
Christopher Sturk, Elisa Franco, Richard M. Murray
110
Voted
CDC
2010
IEEE
100views Control Systems» more  CDC 2010»
14 years 7 months ago
On the internal dynamics of formations of unicycle robots
This paper studies a general class of formations of unicycle robots. One of the robots plays the role of the leader and the formation is induced through a constraint function F tha...
Luca Consolini, Fabio Morbidi, Domenico Prattichiz...
108
Voted
TIT
2011
144views more  TIT 2011»
14 years 7 months ago
Network Generalized Hamming Weight
— In this paper, we extend the notion of generalized Hamming weight for classical linear block code to linear network codes by introducing the network generalized Hamming weight ...
Chi Kin Ngai, Raymond W. Yeung, Zhen Zhang
JAPLL
2010
126views more  JAPLL 2010»
14 years 7 months ago
Justification logics and hybrid logics
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
Melvin Fitting
111
Voted
AAAI
2011
14 years 24 days ago
Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...
David Michael Barbella, Kenneth D. Forbus