6201 search results - page 2 / 1241 » Implementation of Axiomatic Language |
95
Voted
SYNTHESE
2008
14 years 11 months ago
2008
Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved...
99
Voted
SIGIR
2006
ACM
15 years 5 months ago
2006
ACM
A common limitation of many retrieval models, including the recently proposed axiomatic approaches, is that retrieval scores are solely based on exact (i.e., syntactic) matching o...
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
102
Voted
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
ICALP
2003
Springer
15 years 4 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...