1004 search results - page 86 / 201 » Modeling and Control - Flexible Structure Spacecraft |
138
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
140
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
153
click to vote
IJAR
2008
15 years 4 months ago
2008
The task of estimating causal effects from non-experimental data is notoriously difficult and unreliable. Nevertheless, precisely such estimates are commonly required in many fiel...
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
111
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
The development of a low bandwidth, high error tolerant neural browser, called the BrainBrowser, has raised new navigational issues. With this paradigm shift of twodimensional spa...