4190 search results - page 542 / 838 » Type Class Directives |
162
Voted
JIB
2007
15 years 4 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
103
click to vote
LOGCOM
2007
15 years 4 months ago
2007
This paper extends Post’s programme to finite levels of the Ershov hierarchy of ∆2 sets. Our initial characterisation, in the spirit of Post [27], of the degrees of the immune...
122
Voted
BEHAVIOURIT
2004
15 years 4 months ago
2004
The SlideBar is a physical linear input device for absolute position control of one degree of freedom, consisting of a physical slider with a graspable knob positioned near or att...
145
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We study the simultaneous message passing model of communication complexity. Building on the quantum fingerprinting protocol of Buhrman et al., Yao recently showed that a large cl...
147
click to vote
AR
2007
15 years 4 months ago
2007
This paper presents a new method to analyze the stability of a general class of mobile robot path tracking algorithms taking into account explicitly the computation and communicat...