2687 search results - page 343 / 538 » On the Conversion between Number Systems |
124
click to vote
CEAS
2007
Springer
16 years 19 days ago
2007
Springer
To evade blacklisting, the vast majority of spam email is sent from exploited MTAs (i.e., botnets) and with forged “From” addresses. In response, the anti-spam community has d...
178
click to vote
CLEF
2007
Springer
16 years 19 days ago
2007
Springer
In this paper we will briefly describe the approaches taken by Berkeley for the main GeoCLEF 2007 tasks (Mono and Bilingual retrieval). This year we used only a single system in ...
143
click to vote
FOSSACS
2007
Springer
16 years 19 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
160
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
Imagine a group of cooperating agents attempting to allocate tasks amongst themselves without knowledge of their own capabilities. Over time, they develop a belief of their own sk...
193
click to vote
ICN
2007
Springer
16 years 18 days ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...