5243 search results - page 51 / 1049 » Reasoning About Strategies |
108
Voted
TALG
2010
14 years 11 months ago
2010
We describe an automata-theoretic approach for the competitive analysis of online algorithms. Our approach is based on weighted automata, which assign to each input word a cost in...
114
Voted
ECMDAFA
2008
Springer
15 years 1 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
117
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
ECSQARU
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
102
click to vote
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...