Sciweavers

2296 search results - page 383 / 460
» The Expressive Power of Synchronizations
Sort
View
AAAI
2006
15 years 5 months ago
Temporal Preference Optimization as Weighted Constraint Satisfaction
We present a new efficient algorithm for obtaining utilitarian optimal solutions to Disjunctive Temporal Problems with Preferences (DTPPs). The previous state-of-the-art system ac...
Michael D. Moffitt, Martha E. Pollack
AIML
2006
15 years 5 months ago
From topology to metric: modal logic and quantification in metric spaces
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
DLT
2006
15 years 5 months ago
On Weakly Ambiguous Finite Transducers
By weakly ambiguous (finite) transducers we mean those transducers that, although being ambiguous, may be viewed to be at arm's length from unambiguity. We define input-unambi...
Nicolae Santean, Sheng Yu
IMAGING
2004
15 years 5 months ago
Color Matching with Amplitude Not Left Out
Amplitude for color mixing is different from other amplitudes such as loudness. Color amplitude must refer to a light's ability to look different from other lights, to expres...
James A. Worthey
ISSA
2004
15 years 5 months ago
Towards Hippocratic Log Files
The World Wide Web (WWW) is fast becoming the central location for goods, services and information. The very factors that make the Internet such a powerful medium combine to make ...
Andrew Rutherford