2661 search results - page 481 / 533 » Model Checking Performability Properties |
103
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
The paper proposes decentralized deconfliction algorithms deployed on multiple autonomous aerial vehicles in freeflight operations. The paper provides two separate algorithms for ...
104
click to vote
CP
2008
Springer
15 years 4 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...
133
Voted
IESA
2007
15 years 3 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
136
click to vote
AAAI
2010
15 years 3 months ago
2010
Spectral feature selection identifies relevant features by measuring their capability of preserving sample similarity. It provides a powerful framework for both supervised and uns...
116
Voted
MVA
2007
15 years 3 months ago
2007
Shadow detection is critical for robust and reliable vision-based systems for traffic vision analysis. Shadow points are often misclassified as object points causing errors in loc...