2152 search results - page 355 / 431 » On Automating the Calculus of Relations |
100
click to vote
TARK
2007
Springer
15 years 6 months ago
2007
Springer
Social choice rules are often evaluated and compared by inquiring whether they fulfill certain desirable criteria such as the Condorcet criterion, which states that an alternativ...
105
Voted
WER
2007
Springer
15 years 6 months ago
2007
Springer
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
94
Voted
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
— In this paper we report our progress in building a system for the acquisition, analysis, and visualization of a collection of Native Californian baskets from the Phoebe A. Hear...
102
Voted
ANSS
2006
IEEE
15 years 6 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
113
Voted
ICNP
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...