4636 search results - page 641 / 928 » Application of Linguistic Techniques for Use Case Analysis |
203
click to vote
SARA
2009
Springer
16 years 2 months ago
2009
Springer
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...
243
Voted
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
190
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
202
click to vote
DIAL
2006
IEEE
16 years 1 months ago
2006
IEEE
It is common for libraries to provide public access to historical and ancient document image collections. It is common for such document images to require specialized processing i...
223
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper a new class of hybridization strategies between GA and PSO is presented and validated. The Genetical Swarm Optimization (GSO) approach is presented here with respect ...