6047 search results - page 805 / 1210 » Modeling with Extend |
194
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
221
click to vote
MPC
2010
Springer
16 years 11 days ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
219
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
198
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
Thanks to recent progress in category-level object recognition, we have now come to a point where these techniques have gained sufficient maturity and accuracy to succesfully feed...
208
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
Within-subject analysis in fMRI relies on both (i) a detection step to localize which parts of the brain are activated by a given stimulus type, and on (ii) an estimation step to ...