Sciweavers

3573 search results - page 347 / 715
» Reasoning about Codata
Sort
View
IDEAL
2004
Springer
16 years 24 days ago
Summarizing Time Series: Learning Patterns in 'Volatile' Series
Most financial time series processes are nonstationary and their frequency characteristics are time-dependant. In this paper we present a time series summarization and prediction ...
Saif Ahmad, Tugba Taskaya-Temizel, Khurshid Ahmad
175
Voted
ISCIS
2004
Springer
16 years 24 days ago
Correctness Requirements for Multiagent Commitment Protocols
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Pinar Yolum
KR
2004
Springer
16 years 24 days ago
Expressive Power and Succinctness of Propositional Languages for Preference Representation
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
Sylvie Coste-Marquis, Jérôme Lang, Pa...
182
Voted
POLICY
2004
Springer
16 years 23 days ago
A Framework for Contractual Resource Sharing in Coalitions
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
Babak Sadighi Firozabadi, Marek J. Sergot, Anna Ci...
PRIMA
2004
Springer
16 years 23 days ago
Handling Emergent Resource Use Oscillations
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
Mark Klein, Richard Metzler, Yaneer Bar-Yam