Sciweavers

2432 search results - page 439 / 487
» Using simple abstraction to reinvent computing for paralleli...
Sort
View
163
Voted
CSL
2008
Springer
15 years 5 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
DAIS
2006
15 years 5 months ago
Mobile Process Description and Execution
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
Christian P. Kunze, Sonja Zaplata, Winfried Lamers...
125
Voted
ECAI
2010
Springer
15 years 4 months ago
EP for Efficient Stochastic Control with Obstacles
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...
Thomas Mensink, Jakob J. Verbeek, Bert Kappen
157
Voted
CEC
2008
IEEE
15 years 3 months ago
Regulation of gene regulation - smooth binding with dynamic affinity affects evolvability
Abstract-- Understanding the evolvability of simple differentiating multicellular systems is a fundamental problem in the biology of genetic regulatory networks and in computationa...
Johannes F. Knabe, Chrystopher L. Nehaniv, Maria J...
96
Voted
BC
2008
68views more  BC 2008»
15 years 3 months ago
Neural control of Caenorhabditis elegans forward locomotion: the role of sensory feedback
Abstract This paper presents a simple yet biologicallygrounded model for the neural control of Caenorhabditis elegans forward locomotion. We identify a minimal circuit within the C...
John Bryden, Netta Cohen