1835 search results - page 319 / 367 » Functional Programming of Behavior-Based Systems |
141
click to vote
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
129
click to vote
BIOCOMP
2007
15 years 3 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
95
Voted
EOR
2006
15 years 2 months ago
2006
CT In this paper some experimental sequential models for the simulation of trip-chains are presented; the models have been calibrated on the base of a survey made in a medium-sized...
144
click to vote
CGA
2004
15 years 2 months ago
2004
graphical abstractions, Hyperscore provides a visual analogue for what is happening structurally in the music as opposed to displaying musical events in procedural notation or as a...
130
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Most existing work uses dual decomposition and subgradient methods to solve Network Utility Maximization (NUM) problems in a distributed manner, which suffer from slow rate of con...