6894 search results - page 1108 / 1379 » Generation Problems |
201
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
167
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
195
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
184
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
A distributed concurrent search algorithm for distributed constraint satisfaction problems (DisCSPs) is presented. Concurrent search algorithms are composed of multiple search proc...
187
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Feature selection and weighting are central problems in pattern recognition and instance-based learning. In this work, we discuss the challenges of constructing and weighting feat...