3820 search results - page 488 / 764 » Bounded Model Debugging |
106
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we study the Dynamic Traveling Repairman Problem (DTRP) for dynamic systems. In the DTRP, customers are arising dynamically and randomly in a bounded region R, a...
125
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Collaborative beamforming has been recently introduced in the context of wireless sensor networks (WSNs) to increase the transmission range of individual sensor nodes. In this pap...
107
Voted
ICDM
2008
IEEE
15 years 10 months ago
2008
IEEE
Semi-supervised classification methods aim to exploit labelled and unlabelled examples to train a predictive model. Most of these approaches make assumptions on the distribution ...
140
click to vote
ICDM
2008
IEEE
15 years 10 months ago
2008
IEEE
Nonnegative matrix factorization (NMF) is a versatile model for data clustering. In this paper, we propose several NMF inspired algorithms to solve different data mining problems....
145
click to vote
ICONS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...