3765 search results - page 544 / 753 » Formal Methods for Systems Engineering Behavior Models |
138
click to vote
ER
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
192
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...
158
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a new approach to adaptive system identification when the system model is sparse. The approach applies the ℓ1 relaxation, common in compressive sensing, to improve t...
211
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Time series are found widely in engineering and science. We study multiagent forecasting in time series, drawing from literature on time series, graphical models, and multiagent s...
169
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...