2123 search results - page 167 / 425 » The study of models of intelligent interfaces |
186
click to vote
ILC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
178
click to vote
AAAI
2008
15 years 8 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
159
click to vote
INFOCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
—Most Ethernet interfaces available for deployment in switches and hosts today can operate in a variety of different low power modes. However, currently these modes have very lim...
141
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a study of position auctions, with an explicit modeling of user navigation through ads. We refer to our model as the PPA model, since it is most applicable in the con...
223
click to vote
STORYTELLING
2005
Springer
15 years 12 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....