422 search results - page 34 / 85 » On Modal Refinement and Consistency |
158
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
141
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
With Internet delivery of video content surging to an unprecedented level, video recommendation has become a very popular online service. The capability of recommending relevant v...
180
click to vote
ADVIS
2006
Springer
15 years 10 months ago
2006
Springer
Investments on multimedia technology enable us to store many more reflections of the real world in digital world as videos. By recording videos about real world entities, we carry...
148
click to vote
JLP
2006
15 years 4 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
112
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, a method for automatically detecting the end of lively broadcasted sports programs is proposed, which enables users to record the full TV programs when they run ove...