67 search results - page 6 / 14 » Software Input Space Modeling with Constraints among Paramet... |
NFM
2011
13 years 5 days ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
ICPR
2008
IEEE
14 years 6 months ago
2008
IEEE
In this paper we present a new approach for modelling multiple object scenes using images taken from various viewpoints. The voxel representation produced by the space carving is ...
FASE
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
SIGSOFT
2000
ACM
13 years 9 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
PAKDD
2000
ACM
13 years 8 months ago
2000
ACM
Detection of interactions among data items constitutes an essential part of knowledge discovery. The cascade model is a rule induction methodology using levelwise expansion of a la...