320 search results - page 28 / 64 » A Modal Logic of Information Change |
171
click to vote
MOBICOM
2009
ACM
16 years 20 days ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
243
click to vote
PTS
2007
15 years 7 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
167
click to vote
AAAI
1994
15 years 7 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
179
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Cross-modal analysis offers information beyond that extracted from individual modalities. Consider a camcorder having a single microphone in a cocktail-party: it captures several ...
157
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Applying Belief Revision logic to model adaptive information retrieval is appealing since it provides a rigorous theoretical foundation to model partiality and uncertainty inheren...