Sciweavers

880 search results - page 67 / 176
» Model checking erlang programs: the functional approach
Sort
View
BMCBI
2007
161views more  BMCBI 2007»
15 years 4 months ago
Efficient classification of complete parameter regions based on semidefinite programming
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
Lars Kuepfer, Uwe Sauer, Pablo A. Parrilo
EDBT
2000
ACM
15 years 8 months ago
A Data Model for Effectively Computable Functions
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
Kevin H. Xu
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
15 years 10 months ago
Orchestrating concurrency in robot swarms
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
Anthony Cowley, Camillo J. Taylor
FSS
2006
86views more  FSS 2006»
15 years 4 months ago
An omission approach for detecting outliers in fuzzy regression models
Since Tanaka et al. in 1982 proposed a study in linear regression with a fuzzy model, fuzzy regression analysis has been widely studied and applied in various areas. However, Tana...
Wen-Liang Hung, Miin-Shen Yang
INFORMATICALT
2000
118views more  INFORMATICALT 2000»
15 years 4 months ago
Hexagonal Approach and Modeling for the Visual Cortex
In this paper, the hexagonal approach was proposed for modeling the functioning of cerebral cortex, especially, the processes of learning and recognition of visual information. Thi...
Algis Garliauskas, Alvydas Soliunas