Sciweavers

3573 search results - page 588 / 715
» Reasoning about Codata
Sort
View
136
Voted
CORR
2008
Springer
170views Education» more  CORR 2008»
15 years 27 days ago
To Broad-Match or Not to Broad-Match : An Auctioneer's Dilemma ?
We initiate the study of an interesting aspect of sponsored search advertising, namely the consequences of broad match- a feature where an ad of an advertiser can be mapped to a b...
Sudhir Kumar Singh, Vwani P. Roychowdhury
AIR
2006
124views more  AIR 2006»
15 years 26 days ago
Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...
Rodolfo Sabás Gómez, Juan Carlos Aug...
CCR
2006
135views more  CCR 2006»
15 years 26 days ago
You must be joking...: should the internet have an ON/OFF switch?
If despite your better judgment you decide to read this article, keep in mind that it was written during the summer, and this has been the hottest summer ever. To avoid such artic...
Michalis Faloutsos
158
Voted
ENTCS
2006
1305views more  ENTCS 2006»
15 years 25 days ago
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
Matthias Nickles, Felix A. Fischer, Gerhard Wei&sz...
105
Voted
JUCS
2008
113views more  JUCS 2008»
15 years 23 days ago
What is Correctness of Security Protocols?
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
Giampaolo Bella