1380 search results - page 203 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
MM
2003
ACM
14 years 2 months ago
2003
ACM
We present a novel experience based sampling or experiential sampling technique which has the ability to focus on the analysis’s task by making use of the contextual information...
NIPS
2001
13 years 10 months ago
2001
Reaching movements require the brain to generate motor commands that rely on an internal model of the task's dynamics. Here we consider the errors that subjects make early in...
VIS
2004
IEEE
14 years 10 months ago
2004
IEEE
Coronary heart disease (CHD) is the number one killer in the United States. Although it is well known that CHD mainly occurs due to blocked arteries, there are contradictory resul...
ENTCS
2008
13 years 9 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
FMICS
2007
Springer
14 years 3 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...