Sciweavers

2661 search results - page 342 / 533
» Quantum Complexity Classes
Sort
View
141
Voted
CISS
2008
IEEE
15 years 3 months ago
Detection of anomalous meetings in a social network
Abstract-- When monitoring interactions within a social network, meetings or contacts between different members of the network are recorded. This paper addresses the problem of usi...
Jorge Silva, Rebecca Willett
127
Voted
CORR
2010
Springer
154views Education» more  CORR 2010»
15 years 3 months ago
Causal Markov condition for submodular information measures
The causal Markov condition (CMC) is a postulate that links observations to causality. It describes the conditional independences among the observations that are entailed by a cau...
Bastian Steudel, Dominik Janzing, Bernhard Sch&oum...
135
Voted
ISCI
2008
117views more  ISCI 2008»
15 years 3 months ago
Search based software testing of object-oriented containers
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
Andrea Arcuri, Xin Yao
119
Voted
CORR
2007
Springer
79views Education» more  CORR 2007»
15 years 3 months ago
Logic Meets Algebra: the Case of Regular Languages
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
Pascal Tesson, Denis Thérien
123
Voted
JAIR
2006
87views more  JAIR 2006»
15 years 3 months ago
Fault Tolerant Boolean Satisfiability
A -model is a satisfying assignment of a Boolean formula for which any small alteration, such as a single bit flip, can be repaired by flips to some small number of other bits, yi...
Amitabha Roy