3775 search results - page 246 / 755 » The Expression Problem Revisited |
165
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
159
click to vote
SUM
2009
Springer
15 years 10 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
153
click to vote
CCA
2000
Springer
15 years 10 months ago
2000
Springer
The Exact Geometric Computing approach requires a zero test for numbers which are built up using standard operations starting with the natural numbers. The uniformity conjecture, ...
176
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
We address the issue of detecting automatically occurrences of high level patterns in audiovisual documents. These patterns correspond to recurring sequences of shots, which are co...
168
click to vote
TOOLS
1998
IEEE
15 years 10 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...