9067 search results - page 791 / 1814 » Adaptive Model Checking |
190
click to vote
EICS
2009
ACM
16 years 9 days ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
225
click to vote
IDMS
1997
Springer
15 years 11 months ago
1997
Springer
With the evolving availability of wireless communication servicesand of affordable mobile devices such as notebooks or Personal Digital Assistants, mobile computing is becoming wid...
224
click to vote
MVA
1994
15 years 9 months ago
1994
Amethod is developed to identifya taxiing airplane and measure its position correctly under various lighting and weather conditionsby inputting a moving image from an adaptively-co...
218
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Many applications in multiagent learning are essentially convex optimization problems in which agents have only limited communication and partial information about the function be...
217
click to vote
DATAMINE
2006
15 years 7 months ago
2006
Different from traditional association-rule mining, a new paradigm called Ratio Rule (RR) was proposed recently. Ratio rules are aimed at capturing the quantitative association kno...