917 search results - page 63 / 184 » Structural Testing of Component-Based Systems |
122
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
113
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
111
Voted
ICCV
1999
IEEE
16 years 4 months ago
1999
IEEE
This paper presents a control structure for general purpose image understanding that addresses both the high level of uncertainty in local hypotheses and the computational complex...
126
Voted
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
Software engineering has traditionally focussed on functional requirements and how to build software that has few bugs and can be easily maintained. Most design approaches include...
140
Voted
JMLR
2008
15 years 2 months ago
2008
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...