1042 search results - page 102 / 209 » Representing real numbers in a generalized numeration system |
AI
2004
Springer
15 years 1 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
149
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
122
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
118
click to vote
MM
2005
ACM
15 years 7 months ago
2005
ACM
In this demonstration, we show a novel system, Video Booklet, which enables nature personal video browsing and searching. Firstly representative thumbnails of video segments are s...
125
click to vote
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
A recommender system must be able to suggest items that are likely to be preferred by the user. In most systems, the degree of preference is represented by a rating score. Given a...