Sciweavers

222 search results - page 41 / 45
» Representing dialogic argumentation
Sort
View
ICASSP
2011
IEEE
13 years 1 months ago
Complex random matrices and multiple-antenna spectrum sensing
In this paper, we study the eigenvalue-based spectrum sensing techniques for multiple-antenna cognitive radio networks. First, we study the extreme eigenvalue distributions of a c...
Tharmalingam Ratnarajah, Caijun Zhong, Ayse Kortun...
ICSE
2011
IEEE-ACM
13 years 1 months ago
A lightweight code analysis and its role in evaluation of a dependability case
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...
CAE
2011
12 years 9 months ago
Aesthetic Agents: Swarm-based Non-photorealistic Rendering using Multiple Images
The creation of expressive styles for digital art is one of the primary goals in non-photorealistic rendering. In this paper, we introduce a swarm-based multi-agent system that is...
J. Love, P. Pasquier, B. Wyvill, S. Gibson, G. Tza...
SP
2008
IEEE
112views Security Privacy» more  SP 2008»
14 years 4 months ago
XFA: Faster Signature Matching with Extended Automata
Automata-based representations and related algorithms have been applied to address several problems in information security, and often the automata had to be augmented with additi...
Randy Smith, Cristian Estan, Somesh Jha
LPNMR
2009
Springer
14 years 2 months ago
Manifold Answer-Set Programs for Meta-reasoning
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
Wolfgang Faber, Stefan Woltran