3381 search results - page 544 / 677 » Extending Dependencies with Conditions |
188
Voted
ENTCS
2007
15 years 7 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
136
click to vote
ET
2007
15 years 7 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
163
click to vote
IANDC
2007
15 years 7 months ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
134
click to vote
SIAMAM
2008
15 years 7 months ago
2008
Abstract. In this paper we describe the formation of fingers from ionization fronts for a hydrodynamic plasma model. The fingers result from a balance between the destabilizing eff...
209
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
We address the sensor selection problem which arises in tracking and localization applications. In sensor selection, the goal is to select a small number of sensors whose measureme...