549 search results - page 72 / 110 » Verification condition generation for conditional informatio... |
102
Voted
ESIAT
2009
IEEE
14 years 10 months ago
2009
IEEE
Through analysis of present pseudo-parallel genetic algorithm, propose a new dynamic sub-population pseudo-parallel genetic algorithm. It changes the condition that the magnitude o...
104
click to vote
TSMC
2011
14 years 7 months ago
2011
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...
115
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
123
click to vote
ICCV
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a novel variational method for supervised texture segmentation. The textured feature space is generated by filtering the given textured images using isotropic ...
117
Voted
AIRS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Collaborative filtering is a major technique to make personalized recommendations about information items (movies, books, webpages etc) to individual users. In the liter...