9067 search results - page 584 / 1814 » Adaptive Model Checking |
201
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automat...
203
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Relevance Feedback has proven very effective for improving retrieval accuracy. A difficult yet important problem in all relevance feedback methods is how to optimally balance the...
225
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...
194
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
Robust motion recovery in tracking multiple targets using image features is affected by difficulties in obtaining good correspondences over long sequences. Difficulties are intr...
190
click to vote
EUROPAR
2005
Springer
16 years 19 days ago
2005
Springer
Today, component oriented middlewares are used to design, develop and deploy distributed applications easily. They ensure the heterogeneity, interoperability, and reuse of software...