205 search results - page 14 / 41 » The Use of a Formal Representation of Accounting Standards |
JODS
2006
13 years 7 months ago
2006
Abstract. Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relatio...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
AAAI
2007
13 years 9 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
ACL
2009
13 years 5 months ago
2009
The use of figurative language is ubiquitous in natural language texts and it is a serious bottleneck in automatic text understanding. We address the problem of interpretation of ...
DAGSTUHL
2007
13 years 8 months ago
2007
Abstract. The analysis of complex signals as obtained by mass spectrometric measurements is complicated and needs an appropriate representation of the data. Thereby the kind of pre...