4201 search results - page 681 / 841 » Interaction graphs: Additives |
150
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
133
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Unrestricted information flows are a key security weakness of current web design. Cross-site scripting, cross-site request forgery, and other attacks typically require that inform...
154
click to vote
CEAS
2008
Springer
15 years 7 months ago
2008
Springer
Human interpersonal face-to-face interaction can be considered in terms of successions of speech acts. These are utterances which contain an intention, and the act of creating an ...
153
click to vote
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract-- This paper presents an artificial homeostatic system (AHS) devoted to the autonomous navigation of mobile robots, with emphasis on neuro-endocrine interactions. The AHS ...
173
Voted
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
We present a framework for automatically summarizing social group activity over time. The problem is important in understanding large scale online social networks, which have dive...