9989 search results - page 435 / 1998 » A CLP Approach to Modelling Systems |
195
Voted
RSP
2003
IEEE
16 years 4 days ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
175
Voted
SIGSOFT
2003
ACM
16 years 3 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
171
Voted
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
209
click to vote
IVC
2011
15 years 1 months ago
2011
In this paper a facial feature point tracker that is motivated by applications such as human-computer interfaces and facial expression analysis systems is proposed. The proposed t...
208
Voted
TSP
2011
15 years 1 months ago
2011
Abstract—We introduce an extended family of continuous-domain stochastic models for sparse, piecewise-smooth signals. These are specified as solutions of stochastic differential...