Sciweavers

2473 search results - page 8 / 495
» The Logic of Communication Graphs
Sort
View
LANMR
2004
13 years 9 months ago
Component-Based Answer Set Programming
In previous work we have discussed the importance of identifying the cycles that occur in a logic program under the answer set semantics, and the connections between cycles, that w...
Stefania Costantini
CIKM
2008
Springer
13 years 9 months ago
The query-flow graph: model and applications
Query logs record the queries and the actions of the users of search engines, and as such they contain valuable information about the interests, the preferences, and the behavior ...
Paolo Boldi, Francesco Bonchi, Carlos Castillo, De...
CHI
2010
ACM
14 years 19 days ago
FrameWire: a tool for automatically extracting interaction logic from paper prototyping tests
Paper prototyping offers unique affordances for interface design. However, due to its spontaneous nature and the limitations of paper, it is difficult to distill and communicate a...
Yang Li, Xiang Cao, Katherine Everitt, Morgan Dixo...
FUIN
2010
67views more  FUIN 2010»
13 years 4 months ago
Properties of Almost All Graphs and Generalized Quantifiers
We study 0-1 laws for extensions of first-order logic by Lindstr
Anuj Dawar, Erich Grädel
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 7 months ago
Continuum Percolation in the Intrinsically Secure Communications Graph
The intrinsically secure communications graph (-graph) is a random graph which captures the connections that can be securely established over a large-scale network, in the presence...
Pedro C. Pinto, Moe Z. Win