3552 search results - page 314 / 711 » Proof theory in the abstract |
141
Voted
ASPDAC
2006
ACM
16 years 21 days ago
2006
ACM
Abstract— It is important to separate random jitter from deterministic jitter to quantify their contributions to the total jitter. This paper identifies the limitations of the e...
173
click to vote
FSKD
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We introduce a property of set to represent vagueness without using truth value. It has gotten less attention in fuzzy set theory. We introduce it by analyzing a well-kno...
134
click to vote
MABS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Dynamic and resource-constrained environments raise interesting issues for partnership formation and multi-agent systems. In a scenario in which agents interact with each...
193
click to vote
RULEML
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Uncertainty, like imprecision and vagueness, has gained considerable attention the last decade. To this extend we present a preliminary report on extending the Rule Marku...
215
click to vote
ATAL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...